Wooohoo, progress!
I picked up a second-hand power steering pump from eBay for £60.
Of course, being the sensible and forward thinker I am, I drove the car down a dirt track an hour before doing this job. 🫣
Belt off (again!)...
New old and old new pumps together...
And all in...