I'd say it's a decent price. They are around and come up ... if you're looking at the one on eBay currently, the shape looks good and I'd probably bite at $10 shipped if I was in the market for it.
Last one sold with manuals for $18 so it's right in line with a $10 price tag I'd say.
-------------------------
For sale thread located here: click
Wanted to buy: click
Top wants currently:
Old NES / SNES era newsletters and mailings
Original GB Chinese games (CHN coding on label)