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.

Source? As far as I know tuxedos are rebranded tongfang. https://www.reddit.com/r/AMDLaptops/comments/hzlcjo/all_of_the_vendors_that_are_offering_the_tongfang/

Can't agree. 4 out of 6 tuxedos (different timings, different models) had to be repaired - some even multiple times. And still they remain buggy for me especially with usb-c docking stations. And no LVFS.