okie, you did the right thing in reporting his behavior.

if he gets fired, it will be his doing--because of his own behavior, as simple as that.