But a $100k Roth contribution would have been a larger pre-tax contribution (maybe $130k or so). That would have compounded to be larger than $300k all things b

But a $100k Roth contribution would have been a larger pre-tax contribution (maybe $130k or so). That would have compounded to be larger than $300k all things being equal. If you do the math on it as long as your tax rate is the same in retirement there's no difference between traditional vs Roth.