Looking for the Aladdin $20 baccarat chip that was owned by Don Lueders that is hot orange and in the chip guide CG#112767, I was told it was sold at a auction in Las Vegas some time ago.Any help is greatly appreciated.