Man, this guy. Pennypacker. Yes, his real last name. This was on his last day at work, before leaving for some start up.