SOOT: Minor bugfix in Mining Drill

The good news is that we are sure we fixed the big bug that made the game crash randomly. The bad news is that in the process we damaged the Mining Drill. We've been out of office for a few weeks and dealing with some s…