Our little one will be new to high chairs on the cruise--- I am looking for the inserts that go in the restaurant high chairs (the wooden ones). What are the high chairs on DCL like? Will something like the floppy seat (made for shopping carts www.floppyseat.com ) work? Or would something that is fitted to a wooden restaurant high chair be better? TIA!