Inga auktioner liknande "tungdykker pumpe" hittades.