I would just add that the upcharge for Portside BBQ is between about $12 and 19 per person depending on how much food you order (one, two, or three meats) and it is well worth it if you like barbeque pork, chicken, brisket and ribs. No reservations required despite what the cruise compass says.
One big downside is the lack of food available after 9 pm. After 9 it is just Cafe Promenade, Playmakers ($), Sorrento's, and room service, all with very limited offerings. Plan to eat dinner before 9 pm. If you're still hungry after dinner then pizza may suffice. Also some of the quick service venues such as Park Cafe, El Loco Fresh, and Boardwalk Dog House may close even earlier between 5 and 6 pm.