This is brand new and is higher-quality than the originals. It is guaranteed to work great for you. The pushbutton may not be exactly the same length as the previous one, but it should be very close. This pushbutton is 16 mm long and 10.4 mm in diameter.
US shipping and handling is $5, and international is $18, no matter what quantity you buy. All my small parts are set up for combined shipping, so just use the "add to cart" feature and then check out all at once, and it will combine shipping. If you have any questions, please ask.
I have more parts and lots of vintage electronics listed--feel free to take a look!