I was told there was no grand opening chip made for JACK Cincinnati. I have some extra brand new $1 and $2 chips but, no $5.