BTW it is possible to very easily figure out at least the frequency of the remote by using cheap DVB-T usb dongle (google RTL2832U DVB-T or RTL-SDR) and software like Universal Radio Hacker https://github.com/jopohl/urh
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
BTW it is possible to very easily figure out at least the frequency of the remote by using cheap DVB-T usb dongle (google RTL2832U DVB-T or RTL-SDR) and software like Universal Radio Hacker https://github.com/jopohl/urh