That sounds like a pretty good deal =)
Keep in mind those aren't styles of TKD, those are organizations. XD
Yes, i know that, but to be honest, some of the organizations that are recognized by the Olympic committee are generally the best in the world. ATF is actually banned from the Summer Olympics and I don't argue with the legalities of the groups.
The school that I was in Korean Academy of Taekwondo, RoninEclipse2G actually focuses on both the competition sparring and practical defense (i.e. Self Defense), mostly the classes are open for both men and women are usually at night. though Master Bill Pottle who is one of the teachers are the school is a great guy. His wife teaches the self defense classes as far as I know. I am not sure how it works, but they do it tag-team, though she's expecting a baby, so I think he's taken over the classes. I am usually recommending KAT because I have gotten good results.
I am also though seeking out a school that teaches Tenshi Tenassen which is a war fan martial arts, its an actual fighting style that is rare to learn and some of the masters are either not going to teach someone because you are Gaijin (not a nice word, I know) or they are filled with other students. To be honest, the last master I knew of this style died out maybe two years ago.