I was contacted by a collector looking for a 2000, $25 Opera House "Run for the Roses" chip. I checked the Chip Rack and it does not show this chip listed. Anyone know if there was one like this available and do you have it for sale?