Thanks buddy,

Yep, I'll re-check them to make sure, but they seemed ok.
I may look up the cost of a new set of leads just in case. They are probably worth changing at 84k anyway?