Papaxoc is a restaurant.