I saw two Pensacolas today with different color roofs. The color variation could be described as something similar to the color variation on the brick work of the Round Island HL. Is this a recognized variation or just a different color paint job not considered a variation?