Three of my riding buddies have bought new gravel bikes this spring, two of them came stock with 38s and they quickly changed them out for 42s and 45s. The third guy bought a bike with 650x47. Going into the bike shops here, you can find 33 & 35 tires for cross bikes and then 40-50 for gravel bikes. It seems 38 is a size they don’t care too much about. Hence my comment about if they were obsolete. I prefer to support my local shop but I might have to order something online.