It was an aftermarket pump. I took the car back when the same fault (no pump, no spray etc.) occurred within 1 month. The pump and pipes were all fine. They did nothing other than grease the bonnet catches. This fixed the problem for another few months but now the washers are again not working. The bonnet closure/contact has something to do with the issue but nothing on the www that confirms the fix (I.e. where the contacts are or if catch lubrication is the issue). I saw something reference the closure of the bonnet being key to the washers working but can now not find that reference again. I'd like to think dealerships would troubleshoot all potential root causes rather than just go with those that give them business.... but I have my doubts on that front.