Not until now. I'd previously have supposed it to be a choir school - but, as with Canterbury, I might be mistaken. As I said, my contemporaries at Christ Church and Westminster (and Magdalen and St Michael's) left those schools at 14 or so and went on to Rugby or Harrow or Stowe. In the 1950s, I suppose that some might have gone into the second or third year of a grammar school, but those I knew tended to get music scholarships at public schools (which led to my assumption that choir schools aren't public schools).