Problem(s) Encountered:

Main dome shutter wouldn''t open at the beginning of the night, for no apparent reason since the contact points were well aligned.  Had to try a half dozen times.  Moved the contact point back and forth a couple of times manually, but I''m not sure that had anything to do with it.

Solutions:

Ran the shutter, and drop leaf, this morning without issue.  Still went ahead and cleaned the oxidation from the contact plates and skids.  Also lubed the springs and shafts for the contact skids.  Homed the dome and tried again.  All continues to work as expected.