I would never imagine drinking out of an unattended vessel that was left in a public restroom. You're lucky you saw the nastiness that happened to the mug, someone could have taken a piss in it, then poured it out. You wouldn't know until it was too late.