Not yet, but when I bought it the bloke I bought it off said that it had just had a new cap and leads (which I confrimed with the garage he used and they all look new as well).
Didn't think it would need doing if its just been replaced, or doesn't it matter?
What about replacing things, no need to swap the leads / plugs or such like (I may be heading out looking for that belt so I was thinking while I am out there)...