Casa Teo is a restaurant.