I should be able to bury some large diameter poly pipe down to the pond. I saw one inexpensive 7" diameter stone diffuser, but it only has a 1/4" inlet. The weighted hose should only need to be <25 feet long. Should this be 1/2"? I was thinking that with the 1/4" fitting on the stone, 3/8" might be over-sized enough.