Eine neue Pumpe wäre vermutlich nicht notwendig gewesen, da diese Pumpen eigentlich unzerstörbar sind.
Vermutlich war sie einfach nur festgehangen und wäre durc eine reinigung wieder gelaufen.
Nachdem du ja bereits den Dichtungssatz hast würde ich alle Dichtungen tauschen!
Bei dem Alter werden gebrauchte Dichtungen üblicherweise nach dem Öffnen nicht mehr richtig dicht.
Da ich kein Aquaduct habe kann ich dir leider nicht sagen wie man das sinnvoll demontiert.
Üblichweise würde ich alles abschrauben und alles wieder dahin schrauben wo es war

Je nachdem wieviel "gunk" du drin gefunden hattest würde ich die radiatoren im demontierten zustand in einem kleinen behelfskreislauf solange spülen, bis das wasser klar bleibt