When using the "-redrum -stendek" extention, not only can you use the F7 F8 F10 F11 and F12 key, you can also use the F9 key. This is how it works: in the game use the F9 to nuke any targeted object (this can be friendlies or enemies so be careful). And whats more? You can use it against any size of ship, object, building... you name it! (This is pretty useful when wanting to kill that huge beast in the last mission (the one which eats Sam Korhonen's sub) or all the little Crawlers which are hard to shoot).