Hmm. That might push me further towards just decomissioning this machine and using the laptop with a dock instead of rebuilding with Linux. The 64Gb of DDR4 in it might be worth a fair bit second-hand more than I assumed. I'll have to scan my box of old parts too, I'm sure there is some DDR4 in there (or maybe that is old enough to be DDR3…).