Maybe. stopAutoRotate is used to pause rotation on mouseover. Mozilla.Pager should probably have a pauseAutoRotate as well as a stopAutoRotate.