The GR1 is not a bad tire, it just a little heavy and is not a very fast roller. Is it a race tire? No, but for the average Joe, or Josephine, it works out fine.

The only reason I mentioned the Girona's is I feel like you were definitely wanting to swap them out based on reviews from what I am going to assume, are bike review sites, which to me, get overly picky as they are used to having the finer things in life. When I built up my CheckPoint, I decided to go with a couple different tire variants based on the conditions of what I would be riding. The Girona's came along after I had built up the bike and I gave them a whirl as I decided to give Trek's 30 day return policy a spin. I liked them so much, I kept them and sold off the Schwalbe tires I had been using for the fast gravel routes. So far, knock on wood, no flats in roughly 800 miles give or take. I was actually surprised how nice they rolled and for the most part are pretty grippy unless you get into some loose sand in the corners, then you might slide a bit, but that should be expected with any tire having a fast gravel tire profile.