Thanks guys, I think we can assume therefore that there was some delay between selecting the engine to idle (as a reaction to high TOT and the bang) and then pressing the fire button or it wouldn't have kept burning.
Selecting an engine to idle would normally be a precursor to selecting shutoff, just to make sure you have got the correct engine - wouldn't most pilots have then shut it down quickly given the explosive nature of the failure?