First question is will this replacement work correctly?
Second is what are the extra terminal and ground for?
Related, I notice that the rivets on the new one (probably made in China) are smaller so I'm wondering if that will affect the load capability of the switch. Because of that, I'm considering buying a NOS switch but sometimes NOS is not necessarily better. For instance, gaskets and rubber parts can shrink, things can become brittle with age, etc. So would a NOS, potentially about 57 year old switch really be better than brand new Chinese? My original just came apart, which could point to shrinkage of parts, considering how it is held together.
Old on left, new on right:



