Machines

RAM

SSD

Conclusion

Thinkstation < £60. Thinkpads < £60 each. Elitedesk < £60.

All are fine for much of what I use Linux for. So no need to dual boot my 5950X music workstation.