Does anyone know if they are releasing new resort mugs for the holidays or are they the same mugs they had earlier in the year? For anyone wondering, no we are not planning to reuse our mugs on this visit just curious if to know if there are new ones or the same.