@jaykuo didn't this get an immediate stay by the same judge, to allow time for appeals and govt adjustment?