well if they are penny pinching they also using atlantic city chips in las vegas?
white $1 chips in vegas
bud jones chips in vegas 2.50,25, 500's
same inserts on the 5's as atlantic city hmmmmmmmmmm