BOCA RATON, Fla. -- Seattle Seahawks running back Marshawn Lynch announced his retirement on Twitter during the Super Bowl, but he and his contract still remain on the team's roster.

General manager John Schneider was asked Tuesday if there's a reason why Lynch is not on the retired/reserve list.

"Not really," he said. "We just haven’t received his papers yet. He’s been out of the country riding camels and stuff."

Lynch recently took a trip to Egypt with the American Football Without Barriers program, but he is now back in the country.

Marshawn Lynch's contract currently carries an $11.5 million cap hit for 2016. Joe Nicholson/USA TODAY Sports

Lynch's contract currently carries an $11.5 million cap hit for 2016. Once he retires, that hit will be cut down to $5 million.

One option the Seahawks have is to designate Lynch as a post-June 1 cut. By waiting, they could defer half of the cap hit ($2.5 million) to 2017.

"We haven’t decided that yet," Schneider said. "It would create some cap room. I’m not sure we’re at the point where we specifically need that. We just haven’t decided whether or not we’re going to wait until then to do it. But it would create some cap room."

If the Seahawks release Lynch, and he changes his mind and decides to play again, he'll be free to sign with any team in the NFL.

The indication from Schneider seemed to be that Lynch not filing his retirement papers is not an issue for the team right now. But if the team were to need the cap space to make a move (a signing or a trade), the urgency would increase and something would get done.