Is it possible to download real player to use on this system? I have searched the Internet but nothing comes up that helps. It has Windows Media Player but it can't or won't (for some reason) play .gif files (movie types) Any help gratefully appreciated