Anyone else had their cam belt replaced as part of normal service? Covered by warranty or not?