"I wonder how long might it take for that U.S. District Court ruling to get to the Appeals Court" Not long at all.