Is 8500 pages really that much? I remember that in July, when MS protested against the fines, they said that 300 employees had been working for over a year with writing the documentation. This makes 8500/(300*12)=2.4 pages per employee and month, which means that I'd really like to have that job..