Yes, I've been following that one. It has turned into a bidding war between two nuts as a factory radio for a vehicle that isn't any sort of antique/concours shouldn't be more than 30 bucks or so, (imho, of course).
The only reason I want the factory radio is because it has a decent sized volume knob. I would buy aftermarket, but it seems that knobs have gone out of style for some reason.
Thanks, though!