That would make sense, Archie. I wonder why they overstamped with names and logos of other customers though, rather than just use a cancel mark?

Maybe both occurred, as I do have a Desert Inn $5000 chipco that just has a star cancel.