Yeah, you might be right. Might have to choose a tire that actually measures 23mm, instead of a 23mm that measures 25mm. That's a shame because I like GP4k, and I have a lot of them. I'm also fat, and the trend is towards wider tires, not narrower.
I really don't want to buy a new frame though.