Dan, I really don't think that the Spanish airport security people care what the US TSA printout says. As far as that goes, I'm not sure that the US TSA cares what the printout says either.

A fish and a bird can fall in love, but where will they build their nest?