2 other pieces of news came out for Vegas:
Lehner is having some "clean-up surgery" on his shoulder, but expected to be ready for training camp.
Lehner even tweeted out the play that apparently injured his shoulder:
https://twitter.com/user/status/1315833291933577216
And this:
https://twitter.com/user/status/1315831139010052096