I altered the header.php file I found this bit
<?php
// Check if this is a post or page, if it has a thumbnail, and if it's a big one
if ( is_singular() &&
has_post_thumbnail( $post->ID ) &&
( /* $src, $width, $height */ $image = wp_get_attachment_image_src( get_post_thumbnail_id( $post->ID ), 'post-thumbnail' ) ) &&
$image[1] >= HEADER_IMAGE_WIDTH ) :
// Houston, we have a new header image!
echo get_the_post_thumbnail( $post->ID, 'post-thumbnail' );
else : ?>
<!--
<img src="<?php header_image(); ?>" width="<?php echo HEADER_IMAGE_WIDTH; ?>" height="<?php echo HEADER_IMAGE_HEIGHT; ?>" alt="" />
-->
</div><!-- #branding -->
<div id="header_image">
<div id="cimy_div_id">Loading images...</div>
<!--
<style type="text/css">
#cimy_div_id {
/* float: left;*/
clear: both;
margin: 0 0;
border: 0 solid #000000;
width: 100%;
/* width: 940px;*/
height: 198px;
}
</style>
-->
<noscript>
<div id="cimy_div_id_nojs">
<img id="cimy_img_id" src="https://www.lockettpots.co.uk/wp-content/Cimy_Header_Images/header01.jpg" alt="" />
</div>
</noscript>
</div> <!--#header_image-->
Asa you can see I commented out default header_image() bit and added the rotator code
John