Happy no, but he didn't fire them because he had to. He fired them because that's what's expected of a CEO, maximizing shareholder value. You know, he could ha

Happy no, but he didn't fire them because he had to. He fired them because that's what's expected of a CEO, maximizing shareholder value. You know, he could have fired 11k instead of 12k. I'm sure he sleeps just fine and would have also been okay with 15k.