A colleague of mine at work had a set of TKD Encyclopedias she gave me. She was going to take them to Goodwill. It turns out there are 15 ~300 page books written by General Choi! There were also 5 paperbacks written by Jhoon Rhee! Although all the forms are ITF, there's a lot of really good information about TKD in general, the history, philosophy, etc. Here's one I had not seen yet: the 9 training secrets of TKD. I look forward to reading these!