HAL was the ship. All he had to do to keep Dave from boarding him was do a minor detour burn--and correct course when Dave was long gone. I guess he weighed the risk of using fuel vs the chance of Dave succeeding.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!