When Jensen is in the elevator and calls the head of HR about the guy flashing people in an elevator he calls himself Richard Hertz. Lol. Dick Hurts.
Random? Or a genuinely clever silly joke that’s easy to miss? You decide. Butt, lol indeed!