Retired NBA star Jermaine O’Neal has put his 16,000-square foot Texas mansion on the market for $12.5 million.

Any top player of the Mavericks hoping to settle down might find the 4.8-acre property in the Dallas suburbs to be a decent option: According to the Realtor.com listing, it has a regulation-sized indoor basketball court, a “spa-like sauna,” and a “gym with custom rubber flooring designed for weightlifting.”

With eight bedrooms, ten full bathrooms, three half bathrooms, a sumptuous “primary suite,” and a “resort-sized” pool in the backyard, this expansive house has it all.

Let’s take a look at this $12.5M mansion.