Has anyone gotten an infrared remote to work with the Mi Box? The default remote is bluetooth, and there's an app, but it would be convenient to control it from my cheap-but-good Inteset remote. Inteset has IR codes for the Mi Box, but the Mi Box doesn't seem to have a built in IR receiver and the HP Media Center IR receiver I used for Kodi doesn't seem to work with the Mi Box.