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.