Sorry, I'm just a bit frustrated with the situation. And oops, I miss-spelled dumb in "I'm not dumb," so I guess I must be ;-) :-D
Anyway, every cloud has a silver lining, so I used the opportunity to fix some details I had missed before. I outputed again using the exact same settings (a saved profile) and the file is progressive. Unfortunately, knowing that I'm gonna be reencoding I deleted the original file so there's no way to be 110% sure now. I'm encoding with multiAVCHD now and crossing my fingers for a progressive result :-)