They were still doing it in 2001, but I went to 10s then 11s, then back to 10s. I’m too heavy handed on 24 fret guitar for 9s.I have 9s on one of mine. That’s what PRS put on the Customs in ‘96 when I bought it and I haven’t felt the need to change. I use 10s or 11s on most of the others.