After I posted, I looked at recent eBay prices.

I think I overestimated the price. For the three colors you mentioned, I would think a fair price would be about $50 for the lot of 3..