So, has anything been decided by the admins on what to do?

Regardless of what happens in the auction, it will still take until the 19th for it to close. I understand changing the DNS will screw up a lot of federation features, but at this point it seems inevitable right?