I would really like to see some hard numbers. I know the salaries are public, but I wonder if there are bonuses that aren't included and benefits such as housing/car/food/etc. I'm sure some are contractors rather than employees. I wonder how much they make.