A mansion in Summerlin’s The Ridges is listed for $12.5 million. (Rob Jensen Co)

A mansion in Summerlin's The Ridges is listed for $12.5 million. (Rob Jensen Co)

A mansion in Summerlin’s The Ridges is listed for $12.5 million. (Rob Jensen Co)