Nearly four months after Vanderbilt parted ways with former head coach Derek Mason, the 51-year-old’s Nashville residence is officially off the market.

Mason and his wife Leighanne sold their five-bedroom, six-bathroom house on March 10 for $1,645,000, according to a Davidson County Register of Deeds document. The couple bought the house in 2014 for $1,095,000.