Not that it would change your point, but as a separate matter I'm curious what the ratio of government employees to private contractors was back then when they were building the thing compared to now.