Pues eso, q he encontrado unos pulsadores miniatura que parecen DPDT: 6 patitas, 2 circuitos.
Este serviria para los pedales caseros, no?
Este es el link de la pagina:
http://www.ariston.es/esp/catalogoConsu ... agina=62;1
El modelo es el IP0120R o el IP0120N, q son los q parecen tener tuerca.