sounds like some maintenance guy didn't properly ground the ground plug in that outlet... (or it was one of the old two prong outlets and you used an adapter and just did what we all did and leave the ground wire hanging there instead of screwing it properly into the outlet cover screw like we were supposed to)