Not sure I understand the argument there. Isn't the OS more than 800 million less than TX*TM? If I'm wrong, I welcome correction here - whatcha got?