Make sure to get high tempature spade lugs. Standard tinned copper tend to get loose with heat, the ones I use are rated to 900 f. As an example I use FR9C-250 terminals from elecdirect (without the name a bunch of gun parts came up). I have repaired stoves that had some damage but the replacement lug needs full contact with the blade or even high temp connectors will overheat. I am not sure if dielectric grease in this application will do much good but I don't think it would hurt. It may smoke when the element is turned on for the first time or two.
