Thanks - that's what I was looking for. (Obviously, though, not hard enough!) But, as you say, there doesn't appear to be anything more recent.
So it probably came to nothing. However, I am planning to go to northern Spain later in the year, and I wouldn't be
entirely surprised to discover that they'd been operating regularly until the week before I arrived
