Coccodrillo is an Italian restaurant.