My husband thinks he'll have nothing to do on board is prepping his portable devices. He wants to know -- do the TV's in the rooms have HDMI ports on them so he knows whether to pack the cable? Anyone know this? I told him I would ask on the board. Setting sail shortly on the New years cruise!! Would appreciate any answers!!