The KO kick is one known in TKD. He states he has been in sport karate and kick boxing but maybe that Karate dojo was a TKD dojang. Never seen Karate use what we call a turn (spinning) roundhouse.
[yt]4awSmJfuhbU&feature=youtu.be&t=3m41s[/yt]
[yt]4awSmJfuhbU&feature=youtu.be&t=3m41s[/yt]