They let it go a few years ago.... But yes, it would’ve affected it as it’s all tied in with the major cruise lines....Norwegian, royal Caribbean. Alaskan, etc Dang - got bit hard on the options today ughhh