Saying we should have gotten more for Gausman is like the guy on Ebay who prices everything too high and never sells anything. Someone is worth what you can get for them. Gausman, like Bundy and many others before him, saw his velocity drop and K rate decrease along with an increase in FIP. That shows a mediocre pitcher in the long term.
I thought we could have gotten more as well, but the market said otherwise I suppose. We love selling too late which hurts the most. Gausman, Britton, Bundy, Machado, and Schoop were not traded at close to peak value.