Thank you for the confirmation cityzen! and for the recommendation.
a digital converter is a pricey addition, do you think a USB2.0 to HDMI adapter (http://www.amazon.com/Sabrent-1920x1080-...) could be a more economical option?
or maybe an ExpressCard or PCMCIA card would provide the necessary bandwidth? But don't see many offerings.