Comp pushrod?

Anyone have experience with Comp #7840 pushrods? Summit lists them at 9.315" which I think is a bit longer than stock. Would these work with hydraulic lifters and non-adjustable stock rockers on a 440?