maybe Trump Casino and Majestic Star chips were (informally) used in both casino?Obviously Majestic Star held on to chips forever (had some grand opening ones left even) But to also have chips from a different casino over 15 years later? That seems extreme.
After all, the two were door-to-door... so, it's not so strange that a few Trump chips are still in Majestic Star's availability 15 years later