Le trou est normal. Si rien ne fuit tout va bien, si il ya une fuite, ta pompe est à changer. ce modèle de type récent n'est pas réparable. Une fois la pompe déposée, regarde si la languette dépasse ou non du plan de joint..et achète une pompe du même modèle (avec languette qui dépasse ou non du plan de joint).
Sur le marché, tu ne trouveras quasiment que des pompes Brésiliennes, celles que VW monte sur les cox depuis la fin des années 70.