Even with Ann Arbor (pop 110k) and its 40% university population it's probably good that Los Alamos (pop 12k) wasn't on there... great library though.