hiya - no the noise was a high-pitched constant 'whine'. Occasionally it wouldnt be there, and if I then revved the engine a bit it would be noticeable. It also stayed on a few seconds after switching the engine off.

They two things might not be connected... I'm more worried about what to do re this distributor / checking to see what is gone.