I don't think that happens tbh. I've been able to turn the radio on several hours, even the next morning, after taking out the key.
We're ringing our mechanic and seeing if his able to do it. If not, we'll have to ring up holden as you said. From what I've heard it's about $80 - 100 so it's not...