I have not done either of those, I'll have a look for leaks and mention it to the mechanic when I get it serviced next.
I'd be glad if it is just my own inexperience with engine noises and not a mechanical problem.
Cheers Phunk, thanks for the advice.