I would suggest that Dave was at a greater degree of risk from the other four humans than HAL. With driving, how many more people have people killed through texting, etc?