If I was the guy who sold my house for bitcoin, I would of sold the coin at that same day.
Selling maybe 80%, then keep the remaining 20% just to get the whole risk ratio down. Its better to reduce the risk to gain more.
Esp, if its a huge transaction like that.
but imagine if the bitcoin had raised back to 1200 dollars or even more. he would have won huge money