Back in the 80’s we actually had a 16mm copy of that film at my Navy command!!!
Ha! That’s awesome. :-)
Btw, thank you for service!