On one stuck pedal set I was using the Park 15mm tool that is also a headset wrench. As I would not put a cheater pipe over the end of that, I ended up buying a Park PW3 wrench that allowed a cheater pipe off the end. A LOT of pressure eventually got the pedals free.