[MuranoSL2003]

It could be it was just a bit of steam... Maybe try using an infrared thermometer on the area to see just how hot it gets. If it's hot enough to make steam, I would be concerned, it's not worth a potential fire...

IMO many electrical devices that are just fine can have an burned electrical smell when you get your nose right up to them...