I've never cruised on RC before.  We leave on 7/4 on Anthem of the Seas and although I know the Windjammer buffet has a huge selection, I'm just wondering if the main dining rooms have kids options on their menus or if they have to choose from the same selections as adults. Thanks!