Cool post thanks for sharing! I wanted to throw out another option, older enterprise server hardware is surprisingly cheap on ebay. https://labgopher.com/ has a nice page to help you find good deals (I am not affiliated with them). One warning these servers are outrageously loud and power hungry.

Also, in the bay area I like the local vendor https://unixsurplus.com/