Now that the power requirements seem to have dropped to 18W, has anybody found a USB-C receptacle that allows for powering the Mini while using the other USB-C or USB-A port simultaneously? The Leviton T5635 is reported to work, but only when one port is used.