Just for completeness I still haven't really got to the bottom of it. I'm going to swap the hose again with an aftermarket one incase the repair place did something stupid (wrong inner diameter, material, lack of suppressors, etc) and also the pump as mine has been leaking from the main drive...