Burner element stopped working

The repair itself is really quite easy. Cut the wires, strip the ends and attach the new receptacle with wire nuts. The hard part was getting to it. My cooktop is about 30 years old, so I had to wade through piles of nasty built up grease. Some of the sheet metal screws were unworkable, so I had to cut them off with a Dremel tool. Not a pretty picture, but that's how repair work is on old stuff.