Does anyone in the group know a reliable manufacturer of diaphragm pumps that can be used to transfer/harvest shrimp at indoor farms? This particular model is made in Korea but the cost is $17,000+ that seems to be a bit high for me!