That's strange. The 'Mission Failed' due to not finding Red October isn't supposed to fire before 1400.
Ah ha! Found the problem... must remember, always to check that a platform exists when checking to see if it is damaged
Corrected version on my homepage, along with Teaser #3.