Just took the air cleaner off so I could take some hi-res photos, and had a look at the external state of the dizzy cap. It's too bloody cold to stand
The servicing work that the garage claim to have done, does appear to have been done. The air filter and temp sensor are new, and removing the air filter reveals that the screw threads on the fuel distributor are clean, indicating that the injectors have been adjusted. Plus the fluids are new.
I cannot see any evidence of the EHA having any leaks, and the air sensor plate moves freely with no binding.
The cap has quite a few small cracks, and if it's that bad on the outside, I think it's worth replacing that and the rotor arm as a matter of course.