They forgot to mention that the case was promptly dismissed but the judge. And TECO has
the right to sue for court costs and damages.