This was another gate to the rock garden. It's odd because there were signs saying it was closed due to renovations, but all the gates were open and we did see one other person sitting in the shade while we were there, and I surely didn't see any work going on. Maybe they forgot to take the signs down, because the place looked pretty nice to me.
I think this will be the last picture in this gallery for now, until we go back again. Actually, it's just on the other side of our garden wall, and although I can't scale it to get into the park ;-), it's only a few minutes' walk from here.