Tascam square pushbutton portastudios etc

I have many push buttons on the site but these were a little different as they have 2 holes on each side ( lines) I think these were from pater Portastudios as I have some other colours listed which are the same but I have put them here as easier to keep separate.

12mm 7mm looks like 3mm hole

here is grey/red/orange

price for 1