Cool, I was just reading that those remixes were only included on the VHS in 1985, so you're right, those should be the original mixes on the two CAV releases.
Edit--
There are fullscreen CLV discs from Japan that were released in 1983 and 1984 respectively that should contain the theatrical mixes.