Does NASA Still Use Lenovo ThinkPads?