Is there anyway that I can set different media players for different file formats? Like make VLC the default for .avi, Windows Media Player the default for .wmv, and Quicktime the default for .mpg? Thanks!