Why Barbara Eden never appeared in video of 10cc's "I'm Mandy Fly Me"

Barbara Eden (born Barbara Jean Morehead, August 23, 1931)[1] is an American film, stage, and television actress, and singer, best known for her starring role of "Jeannie" in the sitcom I Dream of Jeannie.

[@thetintinbloke]

Because the band had never heard of her??