If a casino doesn't use the $2.50 they just use half dollars to pay the $2.50 Bj. I never heard of a casino that had the $2.50 chips but didn't use them.