Thank you. RMA procedure is still in progress, but their support is nice and I’m hopeful to get it sorted.
Interesting. I’ve tried around 5 docks from which only 1 worked correctly. Mostly issues with 4K at 60hz. Other notebooks worked well with the ones the tuxedos struggled.
I agree, the manual EC/BIOS updates aren’t very nice, but not a show-stopper. Coreboot has been promised for quite some time now and they’re still searching a coreboot dev. Maybe this will be a thing someday, but I don’t think we’ll see that soon reading their responses regarding this on reddit.