Pushrod oiling - do I need it?

If i'm reading this correctly, the shaft oiling should be fine. I am curious about the thinking on the 7k plus rpm's with the stroker. Unless you have some serious heads and big tubes, i'd think shift points in the 6 to 6,500 range would be plenty for a street setup.