“Does it work well with PC/laptop by connecting it via HDMI-to-USB-C?  For a laptop with USB-C ports and an Aux jack only, what would be a good way to connect this audio set?”