This is why I asked. I noticed the same with unsupported file formats: Once you open something the Media Player can't play, it dies and you have to re-boot.

Maybe there's a service in the background or something that you could simply reset, don't know. Any ideas?