Je to asi jediná rozumná varianta. Já jsem tohle řešil u stolního počítače (ne že by televize neměla VGA, ale to bylo už obsazené a zbývalo jen HDMI - tehdy jsem neměl žádný přístroj, co by měl hdmi výstup, tak bylo volné), tam jsem to nakonec vyřešil výměnou grafárny mezi počítači(původní měla 2xVGA + TV, ta druhá měla VGA+DVI+TV a z DVI jsem lehce udělal HDMI (redukce za 50 korun, nebo kabel, který stojí stejně bez ohledu na to, jaké má konektory na koncích)). Po tomto jsem taky koukal a mám v hlavě čtyři stovky, ale je dost možné, že si to s něčím pletu. Zkusil jsem se podívat, ale nějak to zmizelo ze sortimentu (měli to v mironetu). Vzhledem k tomu, že jsem to vyřešil jak píšu výše, tak s tím převodníkem zkušenost nemám.
Pak je ještě varianta externí grafické karty do USB, ale to bude o něco dražší (možná 1500) a taky náročnější na procesor. A nebo grafárna do rozšiřujícího slotu (PCMCIA nebo ExpressCard), ale nevzpomínám si, že bych to kdy viděl, jen nevidím rozumný důvod, proč by to neexistovalo.
