[Bob's944]

Does anyone know if 944's came with stainless steel headers? My 85.5 seems to have them, they definately aren't cast iron. The records with the car I thought were complete, but it's possible that one of the 3 prev owners replaced the factory one with stainless.