[acidburnNSA]

It's been pointed out elsewhere that the $40,000 of computer time referred to was largely on their utilization of government/publically-funded computers.