They are T61p https://www.techrepublic.com/article/from-windows-10-linux-i... Most computer parts are made in China regardless of the vendor not including the CPU. Doubtful that they are using Libreboot, but that would be a good justification for using them.