I've found WMV to be very unreliable - on too many occasions it's hung or created movies that aren't "quite right".
It actually caused me to buy a MacBook and I haven't looked back.
In your case use whatever you can that requires the least Windows input to get it on your HDD, and AVI is an industry standard - and storage is sooooo cheap nowadays.