There's not much more that you can do other than replace the armature completely, just be vigilant for any signs of excessive smoke, a CO2 extinguisher's handy though, if there were to be any problems, a quick blast from one of them would cool it all down in no time (other extinguishers, such as Foam, powder & water would cause damage to the vac, which would be costly to repair), but it should eventually burn off, hence the bad smell... 
