The great Elon Musk property selloff continues.

About a week after two of his Los Angeles-area properties popped up on the open market—the listings themselves came shortly after Musk tweeted his intentions to let go of nearly all of his possessions—a quartet of new listings in the city appeared courtesy of the Musk residential real estate portfolio.

The two homes that came up for sale previously constituted a portion of Musk’s holdings near the Bel-Air Country Club. The other four complete the package—and, indeed, are being sold as such, with an asking price of $62.5 million. Musk presumably had vague or not-so-vague notions of amassing a compound in the area, as the homes are nestled together, and there are common property lines.

The new homes offered for sale include a striking modern-style Musk paid $20 million for back in 2015. The house was built in 1954. It contains four bedrooms and six baths, with interior living area that totals over 7,000 square feet. Its grounds are very expansive for the area, extending to nearly three and a half acres. Views from its hilltop location survey the city.

The other three homes offered in the ‘set’ include a smaller ranch and a larger mansion that had been a work-in-progress at the time Musk bought it in 2016. The two previously listed include actor Gene Wilder’s longtime home. All properties are listed for sale by owner. If you have the appetite and wherewithal for $100 million of prime L.A. real estate, tweet Elon and tell him we sent you.