I don’t think it would be much cheaper. Because it’s a micro PC, with an external power supply, I’d rather keep that one as is and then just buy a new machine.
For example, I saw a Dell Precision T3620 Intel Xeon E3-1245V5 with ECC memory for about 160€, and it looks like it may do the job more than adequately.