Here’s the story about the Texas City plumber whose Toyota truck was used by ISIS for those that haven’t read it

https://www.cnn.com/2015/12/14/us/terror-truck-lawsuit/index.html

It comes down to price. You can buy used ThinkPads and replacement parts for them quite cheap a lot of the time.

It’s been a while since I’ve looked at devices from places like System 76 but if I recall correctly they are still over a thousand dollars when a used ThinkPad T440P for example can be found for around two hundred dollars.