Are there that many people running Windows on ARM machines? I don't think I've ever met someone who was.