What is a good price for these chips. I saw a blurb that there was alot on the market ebay has a few of the $25 dollars and below going for $20 to $30 dollars. Does anybody have a red 25c in good condition for sale?