AHA, nope, it will have been a blowtorch to heat up the pulley nut.
I posted about this a while ago. The heat knackers the rubber damper, causing it to eventually shear off. My garage warned me I might need a new pulley at £180 ish, but later told me it was fine.
It came off later of course, as posted above. I paid for a new pulley, but sucessfully argued not to pay the labour, as they shouldn't have advised me it was OK at the time.
The manager said he would advise Toyota of the risk of using the blowtorch technique.
The pessimist in me says its only a matter of time before someone has an accident. I managed to control mine, but to suddenly lose PS as you enter a roundabout is quite dodgy.