I could have done that, but I'm far too cheap to by a VGA cable just for that, especially now that my PS3 could play my movies anyway.
Also, you should switch from VLC player to Windows Media Classic, which comes with the Combined Community Codec Pack. I used to use VLC, but then I stumbled on some videos that do not work with it, while they do in WMC, along with all the others. Here is where you can download it.
Combined Community Codec Pack