i am not quite that far into my learning but i gather you are talking about proximity sensors and not the microswitches the atc is currently using? Is the servo and Stepper version different? i have the stepper version.

I havent looked into the carousel system, does that use an inductive style switch?