Никакой разницы. Факт вредительства не доказан. Тем более, что как пишет уважаемый juic:
"Ну он напильник убрал тихо, не стал крик поднимать, а сам мужичка нашёл, врезал ему для профилактики."
Как можно "для профилактики" врезать вредителю, который только что мог и технику загубить и людей???
Типа, шоб больше так не далал! И пальчиком еще погрозить. Чушь какая-то.
Скорее всего именно что халатность была, а не вредительство.
А как в то время расправлялись с вредителями хорошо описано в советских фильмах. Сдавали их органам.