This film has always confused me with all of it's different versions. I still haven't even figured out which cut is the true theatrical version.
I have the GoodTimes and Universal DVDs, I used to have the AMC cut recorded on a DVR years ago but for some reason I never burned it onto a DVD before I wiped everything off of there.
I've always wanted to see the BBC cut though, it sounds hilariously bad with all of the exposed effects.