At least....
Fortunately they do seem to get on with the job of repairs to the beach and a good job too, it looks an absolute mess after a rainstorm, (like Normandy in 1944). If ever they let things slide there would be an end to tourism.
Would that include the 14 million arrivals in the first 5 months of this year? Apparently these were better quality tourists than the larger numbers in 2024!
They do it in Thailand, mine used to be quite routine about it but these days it seems to be an occasional thing. No extra charge on the bill like the hospitals do thankfully!