Not being a chip collector, I hope I am asking for the right one. I am trying to purchase the new (2007?) $5 Hard Rock "Cinco de Mayo" chip. If anyone has an extra to sell, please let me know.