Casa Antonio is a restaurant offering meals and other services.