re: #291 Randall Gross

I would hope that would get him fired, but I know that Erik Ruch there will get promoted.