I would like to create an alternative "page" template that displays a different banner in the header than the rest of the pages or posts do. It seems that I need to create some sort of alternative header file to include in that alternate page template, one that displays the different banner. (Unfortunately the banner is defined in the header and not in the stylesheet.) But I'm not sure how to get WordPress to recognize something like "header-alternative.php" as the header. Someone else wrote on this topic that they ran into that problem, and then marked it "resolved" without saying what their solution was. So what's the right way to accomplish this?