Huh, that's a pretty large amount of refunds (granted, still $10B in additional revenue). Interesting data, thank you for sharing.