I haven't done the calculations with my car but it would also depend on the comparison between the stock redline to after gear change rpm torque average compared to the higher redline rpm to new higher gear change rpm torque average. Being the same would mean the higher redline would be advantageous.

Les