Did you guys use a hand bender, like you use to bend copper, or something bigger to get the A/C line out of the way?