This just in from Jim Korkis:

[My friend, Kathy Luck, who has worked at Walt Disney World since it opened in 1971 and used to write for EYES AND EARS, the WDW cast newspaper, shared with me this bit of information that I never knew:

"Did you know that Figment's purple color is actually copyrighted by Kodak? Central Shops used to have a special can of the color additive for the dragon's rubbery skin - and that can was labeled "Figment Pigment", of course."]