Yeah basically, and then routed an HDMI cable from outside. I would prefer just a single USB connection, but the smallest USB powered monitor is like 11"
Do you know which specific cable is needed for that?
Edit: this? https://www.ebay.co.uk/itm/232382445538