Terron Armstead...is he gone?

Wisco Steve said
ESPN+ just released their top 50 FA's for 2022 today...
#2 OVERALL was Armstead!
I also see that Spotrac is estimating his market value at:

4 yrs, $95,820,796

Avg. Salary: $23,955,199

NFL Rank: 16

LT Rank: 1

I'm probably the biggest Armstead fan on this board and there is absolutely zero chance he is worth that much on the open market....but then the oft-injured Trent Williams got a big deal late in his career as well....