Совсем уж было собрался переделать, даже помпа уже в гараже валяется. НО...
Поковырялся в сети и обнаружил, что проблемой является постоянный, фактически ежесезонный выход газелевской помпы из строя из-за протечек. Может кто знает, какие еще помпы есть кроме газовских? Вроде на каких-то фольксвагенах тоже ставили.