Very rational. One file has a hitch and you change operating systems! You could just download another player (like the one you mentioned, wmpc). You do not have to use Windows Media Player if you have Windows 7.
WMP is free and built-in. If it doesn't do what you want, by all means download/buy another player.