To conclude this thread. Turns out the pump had packed up.
It was a bit of a pig to get at, the last nut being pretty inaccessible, but actually changing the pump was straightforward.
New pump £90 from Vw, local 'factor had one in stock, £14.
Job done, in the rain but now we can see where we going !