Answer:
usb-c hub
Step-by-step explanation:
In this specific scenario, his best option would be a usb-c hub. This is a fairly cheap device which he can get one of many variations for less than $100. This device connects through a single USB-C port on the computer and has multiple USB ports on the hub. This allows you to connect all of your devices to the hub and connect/disconnect all of them instantly from the single USB-C cable connected to the laptop. Thanks to the new USB-C technology these hubs now usually include both HDMI and DVI inputs.