Went for the right price IMO. Its the $25 thats rare not the $5.
A quantity were found, and the price in TCR10 was adjusted down accordingly. I reckon more were found than was admitted