delapan pompa air itu terletak dalam dua bangunan.
empat pompa berada di gedung lama, sebuah pompa di antaranya adalah pompa buatan jerman yang usianya sama dengan waduk itu sendiri.
tiga buah pompa baru dipasang tahun 1997 menggantikan pompa yang lama.
empat pompa lainnya ada di gedung kedua, yang baru beroperasi tahun 1986.