Hola.
En este caso, las resistencias si están correctamente representadas a 10K, las puse con ese valor extrapolando a los pulsadores este comentario tuyo (puedes ver el cambio en los 2 post siguientes) y las mantuve porque funcionaron con el prototipo, si bien las led no encendían mucho. ¿Que valor me recomendarías entonces? he visto que es conveniente un valor entre 6.8k y 10k pero ahora me dejas la duda.
Gracias 