Update:
I tried using Header Image Slider Plugin, which is pretty great (options for navigation and controlling slide speed) with one strange drawback: though it says it can be used with Custom Headers, the images it creates (for the slide) cover the menu in Coraline. I get perfectly rotating headers, but now my menu is invisible.
I don’t know why it’s doing that, but thus far it seems a better solution than CIMY Image Rotator. Any thoughts?