I am looking for a Holton 158 leadpipe.

this is the one with the Remington-like large receiver.

a 156 or 159 pipe should also work since they are known to be the same