I did around 20k on my HEL lines and tracked with them regularly... never had any issues
As others have said I'd be more bothered about the fact your mechanic ignored what his computer and you, THE OWNER, of the vehicle were telling him. Certainly would not be going back there!