Time for petition for rehearing -- The answer is that the 30th day was a Sunday and 31st day was Labor day, a federal holiday. So the last time for filing was the first business day after that -- which is when they filed.