The deed was just filed. Rumors were last summer they were wanting the house but nothing was legal until now.
Updated in my post 37 of this thread.