Incidentally "Johnny Got His Gun", mentioned up there, is an unrelated tune. It's played over the opening credits in Trumbo's film, if I remember right.