Tons of the T480 and T480s models are hitting eBay since they seem to be coming off corporate lease. The T480 seems to be a little better if you want to do things like RAM and storage upgrades but both seem like great machines to me. If you want to save a few more bucks, the T460 is also an option. All those Lenovo models are really well supported with Linux if you choose to go that route. Mine came with a copy of windows 11 pre installed, which I promptly removed.
Are they part of a stack or docker-compose?