Yeah sorry, I've got one of those large pumps lying around but it was never worth it for me to use it. I just wound up sticking with tiny pumps, one or two for each bucket.
The problem with large pumps is not only the sound it makes but also the extra heat it pumps into your water.
Unless...