I tried playing it on a dedicated media player connected to my TV (as opposed to the player on the TV itself) and it seens to honour the display aspect ratio setting. So that's good enough for me.
Thanks Space Ranger for the tip, I may wish to encode it properly in future.