A mechanic experienced with Jaguars should be able to fix it, but I would suggest taking it to a Jaguar dealership to be sure.
