Ok we’re getting somewhere now. Unfortunately I did only render using the Export feature. I’d never used this before, but when I installed the software of my machine it didn’t have some of the codecs I was used to and I assumed this was my only option.
Going through my choices, I cannot find one that allows me to export as an AVI. Just mpeg and movs mainly.