We have a winner! Quite a few of you sent me links to online companies that sell short video cables. I could have ordered from several, but I ordered from MCM Electronics, and will let you know how it goes. Thanks to Joey Helleny for the tip, and thanks to all who sent me other suggestions.