Woah. Just relying on FIP to assess Lauer's performance over the past two years is dangerous. FIP should ideally be used in concert with other measures, such as ERA+/-, etc.
So, by ERA-, for example, Lauer finished:
30th among pitchers with at least 90 IP in 2021, a high #2.
61st among pitchers with at least 90 IP in 2022, a high #3.
By actual production over the past two years, Lauer is ranked 39th, just behind Gerrit Cole and Chris Bassett, and good enough for a #2 starter. So, split the difference with FIP and Lauer has indeed been an elite #4 starter for us and would be a solid #3/#2 on a lot of teams.