I think that listing is an anomaly; I see models with similar specs for cheaper (~$5000) on Lenovo's site. But they do come with Nvidia Ada GPUs.