Thanks for the thanks!
Looking at the Amazon reviews, it seems the film was only declassified in the late 70's, apparently due to the electronics.
My problem in finding it was that I forgot the title...
Can barely imagine Videos being at £49! As a youngster, I desperately wanted Pink Floyd's The Wall, but at that price, no way!