Quoted from NorCalRealtor:
I wanted to try and sell this pin locally first to avoid shipping, but given the attention from this thread I'll throw it up in the Marketplace today.
$10,500. for a HEP is a hell of a good price. Last one I saw for sale was $13,500 a few years ago. Took a while but eventually sold for $12,500.