Shipkiller has done this himself, as are others, hopefully someone will chime in on the hours.
I can't imagine it's more than an hour of labor. Parts (gasket, fluid, magnets, etc.) should be available on via the link to the thread in my post above.
I'd have been in sticker shock as well. 800 dollars.