[Eric H]

I honestly don't think that's such a bad deal, the last remote on eBay went for close to $250 I think.
It looks clean and he says it's been restored.
If it were local and I didn't already have one I'd be very tempted.