Io (io, non tu)
userei un piccolo pic per pilotare display collegato alla i2c e leggere i 6 pulsanti.
E' talmente poco quello che deve fare che mi sembra sprecato un arduino.
Comunque, visti anche i 'cloni' dell'arduino, con già il bootloader, che puoi inserire nella scheda come un arduino e programmarli via usb. vanno bene anche quelli.
Chiaro devi predisporre circuito con atmega programmato, non vale la pena comprare 12 arduino a 25euro ciascuno! (se poi non paghi te e non ti vuoi rompere a fare circuiti ...
)