No, but she bought it 2nd hand about 18months/2 years ago so it's possible it was done before. Don't suppose you know the part no? I gotta service it at some point in the next week or so so will have a proper look then