What would be really useful is if you could get the service manager to show you the damaged wire, take a picture of it and post it here so we can check ours. It could be a problem lurking in some of the other JK's here that could easily be prevented in someones garage.