Nah-uh. Not that "Electrocute" song. Whatever its real title is.
I noticed that I get mild (how do you call them again?) electric shocks when the HP Mini 311 is charging - I touch the sides and I think it's the USB, VGA, HDMI ports that I get the mild shocks from. But I also get it when I brush my hand's upper side (whatever you call that side of your hand that is opposite your palm?) agains the strip of metal that houses the speakers.
Is this normal or should I get worried (perhaps our power outlets are frying my Mini 311's innards?)?