Started it this morning, and the fan is working again, and has kept working all day, despite several stop starts.
Don't you just love it when faults come and go by themselves.
All I can do is hope that it doesn't pack up again, or if it does that it packs up long enough to find and fix the problem. Mike.