Wow. It would probably bring decent money on eBay... don't see too many of those at all. If he has a need for it, he should keep it because that'll probably be the last one he will see... IIRC.. they were ball-parking the new repops around $800 a piece and that's why they weren't making them... the demand wasn't high enough to justify the tooling.
Mine could use it, but I'm still working on the running gear.