I am talking with someone locally about purchasing a used CE 24. The serial number is 9 CE34013 - would this be a 2009 model? I thought that the original run of CE's stopped in 2008. Were there still some being made in 2009? I did not see this serial number listed on the PRS website. Thanks in advance for any help!