My coworker is not amused, but HR is tired of hearing his shit so I think it will be okay.