Retired NFL linebacker and defensive end Mario Williams has put his longtime Houston-area estate up for sale for $8.45 million. The former Houston Texans star has owned the property since 2007, according to public records.

The luxurious suburban Mediterranean-style is a lot of house—its interior space measures 12,907 sq. ft.—and it has a correspondingly impressive outdoor living area in back that takes up a big chunk of the 1.42 acres of grounds. A water park-like pool with waterfalls, a swim-up bar, and a water slide is the centerpiece. A footbridge crosses to a cabana with what appears to be an outdoor kitchen.

Inside the house, vaulted ceilings, wall niches, and arched doorways are among the details. Amenities include an entertainment room with a theater and a dedicated billiards room, and a nine-car garage.