Thanks for the link, Doug. So it was Bill Harrah who had the platinum token from one of his casinos. That makes more sense than Harvey Gross who was probably no longer alive at that time. By the way, Harvey was Howdy's uncle.