Si quieres aprovechar la circunstancia, o cambiar el mando por otro, en la Calle Real esquina Estafeta, hay una ferretería y creo que venden los mandos a unos 25€ y te programan los botones como quieras.
Yo tengo que ir a verlos cuando tenga tiempo a ver si hubiese alguno más pequeño que el que tenemos.
Nuestro mando, no he provado a programarlos