I'd guess closer to the $1000-$1500 range for something nice. You/he can find them ready to be restored in the $600 to $800 range. If you're going to spend this kind of money on something, I can't see why anyone would settle for one in less than really really nice shape. I agree with Ron. The 64 version can be found for a few hundred less.