They havent filed a grievance yet.
Misread the article, my fault. Guess that happens when your doing three things at once. No, they haven't done so exactly just yet but the Reds have said they are looking into doing so. The League has already commented that there is not much water to the Reds arguement.
