It’s funny. I didn’t have a lot of issues with our company. Three machines, one server. I deleted the bad update on three. When I got to the fourth, it was already fixed because the user just restarted his machine many times.