I'm not 100% sure if 5/16th is stock diameter for 402's. These pushrods are stock length for all big blocks. One way to find out what diameter you need is to check your present guideplates in your heads.
EDIT- I forgot to tell you, my 5/16th pushrods are indeed for sale. The ad can be found
here