I've been on vacation during almost 20 years in this spot. I'm french but fluent in catalan. And people from this place used to name differently two of the reefs:
 * Roca Vermella -> El Cargol (The snail)
 * El Cargol -> La planilla
Moreover I've found confirmation of this naming on other marine maps.    