Here, I'll simplify it somewhat:

- Get the model T480 (avoid the T480s)

- Verify that both thunderbolt ports work before buying.

- After purchase, update firmware and bios as a step one.

- Install your favourite OS.