Tool and gasket kit Bosch VE pump