Good news then Larry. I hope it was worth all the effort.
You have to wonder though, if a gasket still needs RTV sealant too, surely the gasket is not actually doing it’s job.
There’s no guarantee that even if a past owner had been in there before that they would have known about changing the hose off the pump. Or more likely work done by a garage who would only do the bare minimum required, rather than any preventative work?