Sì, insomma, il discorso è generico, dipende da come è fatta la rocciata. Se hai un buchino dietro che arriva fino al fondo magari puoi optare per una pompettina più piccina, ma se devi seppellire una pompa sotto alle rocce allora lascia stare.;-)