[gregbradley]

That's right. The CDK 12 is slightly different in that it is F8 as I recall.
That is handy as it gives it that bit extra focal length which you want for that size of scope to capture galaxies etc.

CDK12.5 seems to be a very good perfomer.

Greg.