Sigh.
I would appreciate not being called a liar.
Here's what I know.
I saw the change going on Space's roof, so I e-mailed someone who would know about it.
His reply, pasted here verbatim:
"No, it's not paint. We wanted something that would last longer and not fade like paint did before. We had large plastic panels made to fit between the beams, all the way to the bottom of the spires. It's a new kind of colored polymer, we picked out the color specifically for Space. We haven't used it before, but it could come in very handy in the future. Does kind of stick out in the land, huh?"
OK, maybe his definition of panels is different than mine and yours. I assumed it was akin to plastic tiles. Not having been out there at the time to look at it, I made that assumption. Bottom line is, it wasn't painted. Who Al talked to, I don't know.
And what sort of damage was there?
When they removed the interior ceiling tiles, they found several soft spots, and a small hole or two. Something had to be done.
Now the exterior has a new cover, and the interior is getting a new treatment.