I could have put in a new seal at this stage and hope for the best! But that would probably mean doing the same job again after the 10CR! And as I do have some spares stacked away at various places I decided to replace it with one of my new spare pulleys;
Left me with removing the old seal (easy with a large screwdriver) and fit a new one. This turned out to be less easy as space is limited to use a hammer properly. But after some 15 minutes of gently tapping, the seal was in place;
And with the front of the car on stands again I took the opportunity to check the font bearings. They were fine, no funny noises and no play at all. Final check point was the alternator. During the last drive I thought it was becoming noisy, pointing to worn bearings. But with the fan belt removed, the alternator spun freely without any noises and no play at all on the bearings. Another item I needn't worry about for the time being (knock on wood!).