Casa Juan is a restaurant.