Just think of how far that $400m would have sped them along had they chosen to move to something like Linux instead.