What do you do when you’re horny at work?