While it is true for the general market, I think for Lenovo specifically the proportion of user buying at least Thinkpads because they're known good dev machines would push for a much higher proportion of Linux users.

Completely out of my hat but I would not be surprised if a good 20%/30% of Thinkpad users are Linux users.

Hard to confirm/infirm though.