Never been there but a quick google reveals lots of chats on other formula on this topic, or rather on the 60m vs 70m debate.... so I’m sure you’ll be fine with a 70 metre rope.
I took an 80 but in hindsight only needed a 60. I was there for a month and did plenty of routes too. I'll be taking a 60 next time. Flight baggage weight allowance was tight and I had a faff shifting weight into my hand luggage.