is it hard to take the heads off while engine is still in the car. or is it as difficult as everything else on a 4th gen, lol. got to put a new water pump in, and the driver side head gasket is leaking, so im going to change out both. and does anybody know a good way to take off a "stripped" banjo bolt. the jacka$$ who had it before me replaced the passenger side head and stripped the driver side bolt