Quoted from snaroff:Resale HEP restorations typically sell in the 8-10k range and they usually cost much more originally.
Depending on the title, your top number could be a few thousand more. I don't think you're gonna find a 10k HEP MM anytime soon.