I got the impression from a local informant that the arena was not much used any more, at least, not for bullfighting.
Bullring