Master Bolanos, my TKD instructor whom I trained with at the local Community college here teaches kicking and punching patterns very similar to the ones presented by GM CK Choi.
My instructor is a 5th dan in TKD, and also holds a high rank in kenpo and Judo. He trained in Panama and was a Pan American medalist in TKD.
He is Kukikwon certified and teaches TKD both as sport and as self defense.
Back in when I first started training with him I was already a black belt and was tired of performing patterns, but these sparring ones I thought were more appropriate for someone beginning because you moved in a realistic way. So I decided to include these short patterns into my personal teaching syllabus.
When I asked him about his TKD training back in Panama he said his teacher never did patterns. It was straight basics with footwork.
Back then his patterns were the Palgwe's. Old school TKD. May not look pretty but it worked.
"Poor is the pupil who
does not surpass his
master" - Leonardo Da