I came across this chips in the auction of Rich Burgel's inventory. Are these chips real, meaning casino issued? I don't believe the Sands ever used Bud Jones chips and one of the chips has the currency in Euros. They don't look real to me.