Rather than start off with an aquarium air-pump, I tried using an air-compressor that I already had in my garage. I build an adapter to go from compressor fitting to hose to air-stone, and found that the output volume from the compressor was, as expected, perfectly adequate.

The downfall was that my compressor is small; despite the high-pressure, the low-volume storage meant that the compressor wound up cycling often.

An aquarium air-pump, while having a much lower possible output pressure, more than makes up in volumetric output, convenience, and noise.