Gene,
I had a Royal Flush at the Holiday in 1980 in a $3-$6 7-Stud game. In honor of hitting the Royal the smart ass Floorman ( could very well have been you! ) gave me a nice Holiday "House" lighter. For those of you who do not know what the "House" lighter is I'll let Gene tell you.......Andy - Las Vegas