Recommendations for a Linux DVD player (software)? Nothing fancy, just want to be able to watch a movie now and then. I'm working on installing Linux on a laptop so I haven't tested anything yet.