I would measure the old contact to the new and find out how much bigger it actually is. If its only a few thousands bigger, you could sand the new contact down to get it to fit fairly easily. If its closer to ten thousands larger, doable but it would take you quite some time to get it to fit.
Last edited by Phak1; 08/19/2023 2:03 AM.