Has anyone who has already sailed on the returned Dream cruises (8/9 or later) gotten the Beer Mug? Are they still doing the laminated card "token" so you don't have to lug that mug all over the ship? I assume they are but with everything going paperless and touchless, I was starting to wonder.