Was gonna say, i'm sure i used one when i did it!
The worst bit was just getting the gearbox to release from the mount, the first time i did it i soaked it in wd40, jacked the gearbox up and down, jumped on the door sill and it wouldn't budge. Eventually it released by itself after about 30mins...