Oops sorry, looks like I didn't look hard enough
They are available from GPE, part no 39-261-BLK listed under misc components, US$2.75 ea.
Manufactures data sheet is
http://www.grayhill.com/web1/images/ProductImages/Push_39_Two_Circuit.pdfI'm putting together a GPE order to refurbish a few boards so if anyone was after a part or two that didn't justify an order on their own drop me a pm and I'm happy to include your bits.
