Yeah, figured the hard power-off was done in hardware - will get it fixed soon. Thanks anyway.

Also. Anyone know, in countries where the N9 wasn't released, whether it's worth taking the phone to a Care Point over any other phone repairs shop, or doing it yourself?