DW20 TCR - Main Pump doesn't work how can I fix it?

The machine stopped mid cycle. It was still humming but there was a burnt rubber smell.
I turned it off immediately and checked it out inside the front door.
I thought the main pump had seized but it turns by hand easily.
The drain pump works - so does the controller but the main pump doesn't operate at all.

Is it likely to be the circulation motor has burnt out - if so, is it worth getting it repaired? (£100 - £140) or should I get a refurbished machine?

Tony the mildly mechanically competent
September 2016