Turns out I don't have any RAM sticks laying around to replace the dead sticks in the #HardenedBSD 15-STABLE build server. I've removed 64GB worth of memory (4x16GB).

If anyone has spare 16GB 2Rx4 PC3 12800R sticks of RAM, please let me know.

Of course, if you're based in the US, donations are eligible for tax deductions since #HardenedBSD is a 501(c)3 tax-exempt charitable organization.