Besides cummins724, you're not going to make good power after around 3500 with anything unless you have some sort of cam besides stock, imo. His truck is a fluke. This is obvious because of the RPM's he can run.
I've spiked a few times around 4100 or 4200, but never could sustain it or keep pulling at that. The redline will fuel 100% to 4K. The dyno sheets only show the drop off because the cam is not designed to support ANY activity in those ranges. If you're not looking for all out wide open power, then stay away from the redline.
As far as still gaining rpms, a smarty on either 4 or 5, depending on what box you run it with, will gain you the most fuel at upper rpms. Higher settings will give you a top end dead pedal. For the dyno, you will see a fatter curve with the catcher software, but if you're shooting for a peak number, run either 2 or 3 (once again, depending on the box you run).
You won't go wrong running either the TST or some sort of Edge with the Smarty. Both are great combos.$.02