Yes he worked with the Tae Su Do guys, movement etc, but he held a tournament in 1962 & called it TKD. Gen Choi & his followers used the name TKD continuously, it seemed the others did not.
George, even if GM WOO Jong Lim did throw a tournament in 1962, it is highly doubtful that he would be using the name Taekwondo since the KTA was going with the name Taesoodo and the Oh Do Kwan was using that name as well. Why would they make him Chairman of the Tournament Committee if he were out there rebelling against an organization whose President was the Chairman of the ROK Joint Chiefs of Staff, his boss since he was in the ROK Army? Your claim, or General Choi's claim, doesn't make sense and doesn't fit with the facts.
And he wasn't the only one of General Choi's "followers" who went the Taesoodo route and ended up with positions in the Korea Taesoodo Association: GM NAM Tae Hi, GM HYUN Jong Myung, GM BAEK Joon Ki, GM KIM Bong Sik, GM CHA Soo Young, GM KO Jae Chun, and other Oh Do Kwan members also got positions. And why not, since the President of the KTA at the time was a General in the ROK Army.