I was actually the child actor who dubbed the voice of Tony in Tony and the Tick Tock Dragon. It was one of my very first jobs dubbing films into English. Our workplace was Titan Studios on Seventh Avenue in NYC. Anyway, it’s great to see here that it’s still remembered! I do remember it as being quite unusual for a “children’s film.”