I'd expect closer to $3K-3,500 for a top quality full rebuild, particularly if the rods are machined to accept insert-type bearings. Replacing the cast iron pistons with lighter weight aluminum ones will also make the rod bearings last a lot longer.
Jerry

"It is better to be silent and be thought a fool than to speak and eliminate all doubt!" - Abraham Lincoln
Cringe and wail in fear, Eloi- - - - -we Morlocks are on the hunt!
There is nothing noble in being superior to your fellow man; true nobility is being superior to your former self. - Ernest Hemingway
Love your enemies and drive 'em nuts!