Exactly, I just picked up a beautiful condition Thinkpad T430 with 8G ram and 120G SSD for $80. Admittedly, a great deal, but I see them commonly available for around the same price as the Pentaform.
Despite having a 10 year old cpu, it's way faster than an rpi, though the later has it's own use cases.