Janitzio is a Mexican restaurant.