I have a Roca rope. It's a IO, 9.4, 70m and I really like it. Before I purchased it I asked a long time climber friend (40yrs climbing) of mine about them. He said they were a good rope but because they were a Spanish manufacturer they were much better known in Europe than in the US.
I've been climbing on it for about a year now 3-5 times a week and it's my main lead rope. So far it's held up well, has a good hand, takes a knot well, and is light for a 70m. It's not a dry rope but for the price you can't beat them. I prefer a dry rope but for strictly rock climbing it's optional.