I was going to buy a second dock and 3D print a portable dock adapter , but I got this Type c to HDMI adapter online in Taiwan and it works like a charm and it was only $30 USD, definitely loving it.