For what it's worth, here are some photos taken of my 16mm IB Tech Sleeping Beauty. As I said, "muted colors" don't necessarily mean original. I have a print of Pinocchio on low-fade stock (LPP, IIRC) and the colors are pretty vibrant. I estimate the date of that print somewhere around 1982 or '83.
Here is that controversial scene from SB with the "green orb":
And the final scenes, to really show eye-popping color:
