Oh cool — no I didn’t know. Loved Red October - it somehow seemed to be faster paced than the movie was, which seems rare.