Turns out it was a TV movie (Sword of Gideon), but still… I’m surprised that it isn’t mentioned in any of the reviews/articles about ‘Munich’ that I’ve read so far…. (IMDB info). Any one else seen the TV movie?