Yes, it's exactly as you said.
So you could reduce the Gain pot at 50k to get 15db or at 25k to get 11db, but probably it will have effect to the sound and the clipping. It's like to set the original Gain pot lower.
If you like the sound of the whole range of the Gain pot I advice to don't replace that 100k pot, but you could replace the 100R resistor in the end with a 100k, getting around 14db. If it's still too much replace the 100k in the end to the ground with a 47k to get 11db. If it's still too much... well, this is the trick: higher value for the 100R and smaller for the 100k.
It was better if you could add a resistor between the 10uF and the 100k in the original layout instead to replace the 100R, but I think it's a bit hard to find a spot. Replacing the 100R, in the end, I guess it's not so different.
I build pedals