Miele W970 leak

I've got a Miele W970, I think from 2001, which until a few months ago, never gave me a moment's trouble. Then the door latch failed (got Miele out to fix it, which was't cheap). Now it has developed a leak. I've knackered my rotator cuff, so I can't pull it out to get at the back of it, and it seems to be enclosed underneath, so it's hard tell where the leak is coming from. It doesn't help that the user manual is sparse and I can't find a service manual. It's not a huge leak (maybe half a litre?) and it only leaks on pumping out, though it seems to leak faster when spinning. Just from that, is it possible to tell roughly what is wrong? Eg whether it needs a new pump, or just a new hose? It's a brilliant machine and I'd like to repair it if it's economical to do so. But I'd like to know whether it's arm-and-a-leg territory before calling Miele again.

Grateful for any advice!