now verified they were used on Celebrity Cruises (whose casinos were run by Ace on the Asia/Australia routes) prior to their merger with Royal Caribbean in 1997.