Having a shared pool for Windows Media Player isn't a big deal at all: on Windows 7, you can store any shared music in /Users/Public/Public Music, and Windows Media Player should index it automatically, or you can add it to the list.