Spain is no problem, I’m in the UK so it won’t cost much.
Also, if you need a remote control, I found a very cheap and good quality remote here in the UK that only costs £1.00 GBP:
It has a huge list of codes to use with different TVs, and I found one that allows nearly all of the buttons to be mapped to OSSC functions.
If you like, I’ll go buy one and send it to you with the sensor.
I will add this information to the wiki shortly in case it helps anyone else. 🙂
The IR receiver is essential to navigate menus and change options – without the remote, you won’t be able to do anything apart from switch inputs and scanline modes using the on-board buttons.