Yep, thats one thing which I didn't do when I overhauled the flippers.....Will order some now.....
However there is an absolute difference between the buttons - and I must say the ones without springs are much better.
According to the d/l manual I've got the l/h/s switch is 180-5048-01 and the r/h/s switch is 180-5122-00 (which is a double).
When googling the 180-5048-01 is listed as stern (single) and the 180-5122-00 (double) is D.E. The double is definately NOT in the machine at present. It looks like 2 x 180-5048-01..
What is the requirement for the double on the r/h/s??