360-380 for random 4k read/write corresponds to the improved numbers I saw on replacing my Umcccoy PCIe 5.0 x4 AIC with a Microsatacables PCIe 4.0 x4 AIC with redriver. I share synthetic benchmark results here.
I’ll try bare-mounting the P5801X as EXT4 via WSL2 and report results here in case the data interest anybody else. Thanks again!