probabile anche se non riesco a trovare info sulla 7240.....
per me è la stessa pompa 7400 con la variante del trasformatore....
come per le stream 6000 e 6100 il corpo pompa è uguale la differenza per le prestazioni la fa il trasformatore 12
V per le due pompe......