I don't remember that but I do remember him playing with the guys who were doing "Chariots of Fire." That was a funny sequence also. But since "Chariots of Fire" was written and recorded by Vangelis(who could be considered prog)played with Jon who was in Yes there's another prog connection right there.
