Some real-estate pros think $90 million underestimates the White House’s real value. “I think $90 million seems on the low side,” Florida Realtor Cara Ameer explained on Realtor.com, after researching her own set of comparable properties, including the Hugh Hefner’s Playboy Mansion, which was originally listed for $200 million and sold for $100 million. “If you look at several significant properties that have been on the market across the country, you can get an idea of value [for the White House] that is north of $100 million.”

Everyone agrees that if all of the artwork, historic artifacts, and American memorabilia were included in the sale, the asking price would soar—to upwards of $250 million, according to Gray.

According to Zillow, even that’s a huge underestimate. The website, which gives estimates for real estate all over the country, says that 1600 Pennsylvania Avenue in Washington, D.C., is worth roughly $389 million.