I did, but I was just assuming how it would look compared to the 14 that he'd used before. I tend to resize manually in FCP or Avid when I do subtitles instead of fiddling around with font point sizes, so I don't really know what sizes are too small/too big.
But leaving them at the size they're at now would be fine, they're perfectly legible as it is.