I'm curious: did you consider using used ThinkPads? Afaik you can also pretty much replace all important parts, and works great with Linux.

(and >50% cheaper)