Non lo ho trovato. Francamente, per l'unico modello idoneo al nostro uso (RHS-10 ATC) l'ho trovato da un tedesco, a 27€+18ss, che fa 45, quindi in linea con i prezzi che ho citato ( tra i quali, ricordo, 39...). Ma mi sembra che qui stiamo discutendo sul nulla, visto che 15

€ in ogni caso non costituiscono una abissale differenza...
Io avevo frainteso tu intendessi un altro tipo di prodotto, avendo (io per primo) comprato un densimetro a lancetta per la bella cifra di 20€...
Mi scuso per averti irritato...
In quanto alla tua aulica citazione, ho provato a metterla in diversi motori di ricerca, senza dar esito alcuno; e vorrei ancora sapere quali pompe tu consideri migliori (marca e modello, please), e magari il link del post che hai citato.
In quanto all'attendibilità delle fonti, purtroppo internet è il ricettacolo delle peggio schifezze...
Tanti saluti e in bocca per le vostre vasche!