That would be pretty good timing. Hoping that the ~$20k buyer heard a whisper of such a deal yesterday :]