We did not, but I talked to people today that did both the teppanaki and the hot pot, and absolutely loved them both.
They also have teenagers. The 15yo is absolutely loving it and has made friends with the others, but the 17yo has kept mostly to himself. Depends on the kid I guess. Not sure how many there are, but I’d guess <25, just from how few I’ve seen. Itinerary, time of year, and cruise length have a huge impact on the number of kids, so I wouldn’t go by this for your cruise at all.
One thing I should mention. They booked four in a cabin, and the cabin was marked as sleeping four. But they didn’t have a pull-out sofa in the room. Even the room steward couldn’t figure out what was going on. They went to guest services, and they gave them an additional inside cabin for the teens. So if you’re booking multiple people in a room, double and triple check with Princess if in fact the sofa pulls out into a bed. Maybe they’ll figure it out and update things after a few cruises.