I don't know if this helps, but I was staying at Coronado Springs from Aug 9 - 11 and I got a resort specific mug. It was the "Pepper Market" Coronado Springs Resort mugs with the Three Caballeros on it.
In 1995 I got a Caribbean Beach Resort Mug and used it for several return trips, even...