At todays prices.
But he didn't HODL. So will leave $1 Billion on the table if he converts his 1,000 bitcoins into a house.
If he HODL, he'd never buy the house with BTC in the first place, because he'd HODL forever. There would never be a transaction. So what exactly is the point of BTC then?