I went in to get a quote on a new exhaust and they showed me that on the right side the 7 and 8 bolts are broken off the header. I have a 2001 5.4 and they told me they replaced one not to long ago and it cost $800 for both sides. not leaking yet but it will im sure. If i replace the bolts and gaskets, should I just put new headers on it. I've hurd the stock headers rob you of power. Brands? Ideas?