Did any early fj40s have red cylinder heads?

[thecrazygreek]

I'm just wondering as I just recently completely cleaned the engine I noticed the cylinder head is red in color. I thought that I saw on another thread someone had a similar situation where the head was actually painted red. If it's not OEM, then of course it's due to a rebuilt head at some point in time.
Sooo, was the F135 ever equipped with a red head?