> Obviously, there are a lot of caveats here. Numbers such as the DLC Revenue Percentage (relative to non-DLC revenue) and profit margin are completely made up by me

LOL. Even otherwise, without factoring in the percentage of operating expenses devoted to supporting Linux, trying to calculate profit numbers is meaningless.