I bought a cheap USB-C dongle (NOVOO USB C Hub 5 in 1 Aluminun HDMI 4K Adapter,2 USB 30 ports, 1 SD card reader, 1 micro SD card reader) thinking it would work with the Gemini PDA, everything works except the HDMI, does anyone know of any of these type of dongle that do work? I wrongly assumed that the Planet Computers dongle was just a re-badged generic device. :-(