Many ITF TKD champions have chosen to compete in other arenas, Katya Solovey for example competes in WAKO events as does Tomaz Barada.Events like WAKO and K-1 are the most likely places to see TKD fighters competing, afterall you do not see MT or Kyukoshin fighters competing in TKD tournaments, so why would you expect to see the reverse?