This is just fine if you know what ya want.

Usually a rebuild and install runs just under or around 4k. By the time you have the rebuild, in and out of the engine, new parts like pump, hoses, plugs, wires, etc, it adds up pretty quick. But if I remember, labor is about 1400 of it, I think. Do you have a manual for it, or any of the other stuff like the pedal assembly ? A manual/auto swap is pretty straight forward, just requires some parts.