4k would be for a genuine new or rebuild unit and probably fitting, I wouldn't trust such an expensive and delicate part to an ebay seller.
Theres probably $1500 minimum in labour if your paying someone to do it, thats where the bulk of the money comes in.
It's c*nt of a job, and very easy to screw up.