I took my car in because of a noise, and they have to replace the belt tensioner. apparently they are saying its going to take 4 hours to do, my warranty company says they show something like this will take about 1.4 hours. anyone know about this?