I would say they did make the $2.50.
I have a complete set notched from 50¢ to $5,000, including 3 different $5 chips. 11 different chips all together.
They are for sale if anyone is interested.