Jeff,
These contacts aren't rocket science for sure. The bolts have 10mm 12 point heads. There are three of them. A box end wrench does the job. Or a 12 point socket. I take mine apart every so often just to check the points. One contact was starting to get bad so I made a replacement out of some copper I had. Pretty easy. It's been working with no problems for over 40K miles since then. In fact, it looks better than the other one. Maybe the piece of copper from my junk pile is better stuff than the original. Who knows? Anyway, nothing to spend very much money on unless you let it go.