I have run the 4.15" stroked RB's and Hemi's, and currently I am running a 4.25 stroked RB, and that thing is an animal. We only shift it at 6300, and it has alread gone 10.10 at 134mph on 93 octane!
Go with the stroke if you can. Having all that torque is awesome.