Craftsman, Did you try this international ph number?
( Monday - Friday 8:00am-12:00pm EST and 1:00pm-5:00pm EST )
International guests please call: +1 305 252 6565
Not sure how long your cruise is, you may have 2 or 3 formal nights you may want to attend. If no TUX they mention dark suit jacket. Hope this helps. We have used Crusie Line Formal Wear and the TUX is in your Cabin waiting for you. The web site had many choices to pick from. Hope this helps.