I have now tried GoodPlayer and it, indeed, does what I want. I set Aspect Ratio to 3:4 and the video is played squeezed on the iPad so that when mirrored on a wide screen TV, I can use the TV's Wide setting (stretch) to watch the video 9:16. I have the following caveats:
1- I haven't yet had the chance to test it using an RCA (composite) cable. I see no reason why it will not work, but I'll see. I used a VGA cable on a TV which has a bug causing the iPad to fail to recognize it as a 9:16.
2- The GoodPlayer aspect ratio only works when its software is doing the decoding. So no hardware acceleration and no deferring to the iPad plugin. I observed no problem with this except no 1080p videos can be played in this fashion. For me 720p is good enough, but if I have a retinal display, it would be nice to download videos which use it.
I really think that this "hotel feature" should be highlighted, or at least, searchable on iTunes. It was really hard for me to find this great video player, GoodPlayer. Maybe there are others. No one but me seems to care. I don't understand why.
Thanks to all -- Vincent