Thanks for that info - much appreciated.
I didn't end up needing it as the last task on my list was to re-do the maintenance pumps, when I pulled them out to check, 6 of the 8 rubber fingers that operate the mechanism(s) inside the pumps were broken.
Amazing that 0.01 cents worth of rubber can bring things to a standstill...