Comment by nivloc

They probably haven't filed anything, if they get a couple bites then they will.