Got the pump out and the hoses off. I just received the replacement hoses (thank you CC Specialties, who was super fast shipping). New pump seems to match the old one which is good, and I just got the sealant for the gasket.
Interesting that the manual says to apply the sealant but the pump that came off only had sealant around the bolt holes . Since that appeared to work for ~40 yrs, I'll probably do the same thing.
Getting the bolts out for the pump wasn't as tough as getting the old hoses off, as predicted. I did have to take the pulley off in the tractor before I could get all the bolts holding the pump on backed out enough.
