Ha, ha, Larry. Thanks for the mention. I have three in my collection so far as well as a Grand Reopening sash from the D which is dated 6/4/20 to document this odd time in casino history. To answer Eric, at midnight on June 4, some casino logo masks were given out, but they quickly ran out. Some are still given to hotel guests. Some show up in gift shops, but the ones given out in the casinos are the standard surgical masks.