[mikeash]

Some of this info can be hard to dig up, for sure. Of course, most companies are much tighter with their information, so I can't really complain!