12.5" RCOS for sale!

I am selling my rarely used 12.5" RCOS. I purchsed it in 2021. Although originally produced in 2004, I understand it was basically rebuilt in 2020. The mirrors were recoated, etc. I have just tested it recently, and everything works fine with the original TCC. It does appear that the primary mirror sensor may not be giving an accurate reading, but the fans work fine, as does the PIR rotator. I am including all adapters needed to attach a standard 55mm cmos camera backfocus. I have also been able to successfully use NINA with the focuser. There are a few scratches on the tube, but everything else is in very good condition.

I am asking $7000 for everything. I can deliver within a reasonable distance of Macon, Ga. I really do not want to ship this beast!