Doesn't matter.. Oil originates at the lifter & can be fed to the rockers but a solid tip pushrod can be used & will block oil flow...

"The Armies of our ancestors were lucky, in that they were not trailed by a second army of pencil pushers."