For anyone who has cruised recently, do you know how late the quick restaurants by the pool we’re open? Are any open for dinner hours? My family is considering booking a spring cruise, and we like to skip the MDR a night or two to swim and watch movies on the deck.