In case anyone else is curious:

According to the bill of materials linked from the project website[1] the project cost is $175.67 not including the 3D printer and laser cutter or the raw materials they require. (Though it does include duplicate screens, wires, screws, etc which may hold some value if you are doing multiple projects.)

A used ThinkPad T440 i5 is available for $250, possibly less elsewhere.

[1]https://www.the-diy-life.com/mini-raspberry-pi-server-with-b... [2]https://www.amazon.com/dp/B00JBZB5JU