Retired Boston Red Sox slugger David “Big Papi” Ortiz has sold his Miami-area home for $10.55 million.

The five-bedroom, roughly 10,200-square-foot home in Pinecrest, Fla., was listed for $12.5 million in February. The deal set a record for the suburb, according to listing agent Michael Martinez of ONE Sotheby’s International Realty.

The buyer is moving from Boston to Florida, said Martinez. While the buyer is a baseball fan, Martinez said, he doesn’t know whether Ortiz’s ownership of the home factored in to the buyer’s decision to purchase it.

The house received two other offers, Martinez said.

Ortiz didn’t respond to a request for comment. He and his ex-wife, Tiffany Ortiz, built the house in 2019 after paying $1.5 million for the lot in 2016, the year he retired from professional baseball. The Ortizes, who had multiple homes including one in the Boston area, recently settled their divorce, according to court records.

The home has a lounge with a bar used to display sports memorabilia. There is an eight-seat theater with a bar and a light-up ceiling designed to imitate stars in the night sky. The roughly 1-acre parcel also has a pool, a garage, a gazebo, three fire pits and multiple water features.

David Ortiz, 47, was inducted to the National Baseball Hall of Fame in 2022 after spending most of his 20-year professional baseball career as a designated hitter for the Boston Red Sox. He now works for FOX Sports as a studio analyst and has a line of children’s baseball equipment.

Pinecrest is located roughly 20 miles southwest of Miami’s downtown area. The Ortiz sale edged out the previous Pinecrest record, Miami Heat player Tyler Herro’s $10.5 million home sale in 2022, said Martinez. Other celebrities who have lived in the area include salsa musician Marc Anthony and former Los Angeles Lakers player Lamar Odom, according to property records.

Homes in Pinecrest sold for a median $2.975 million in April, up 24% from the same time last year, as the number of home sales fell 38.7% in the same period, according to Redfin.