@ edumj - sorry if I sounded a little harsh in my last post. Thanks for supporting your claim with lots of different sources. This film has always had a lot of controversy over which cut is the actual theatrical cut, even to the point of discussions that there may have been a slightly different theatrical cut for the US and slightly different theatrical cut for Europe. One post that supports this claim is something I just found here by Captain Kahjiit: http://www.fanedit.org/forums/archive/index.php/t-3930.html

I have been trying to find a 16mm/35mm print of the film for some time now and have had no luck:(