To put it into context 9000 workers on an average of $75000 is $675 mil a year on salaries alone, so Joe's 200 over 3 and a half years, harry and meg etc etc isn't a big a deal as it might sound. The elephant is the 9000 staff IMO.