No one is surprised by this deGrom news.
As an aside, MLB teams need to really take a hard look and reassess how pitchers approach the game today. We are losing entirely too many pitchers to arm injuries now compared to pre-2000.
Back then pitchers actually threw 130+ pitches regularly...