Well that's cool. I just found there is a USB-C port on the side of the 4K Stream box! Not mentioned in any docs I read.
I have a dongle, UNI.
https://smile.amazon.com/gp/product/B077KXY71Q
I'll document whether this works or not.
I use this one works great