So Marino isn't suing the nfl