I look forward to a definitive measurement for the filament height.
I've run a Seoul P4, Cree MC-E, and Cree XP-G in my various SF THs, including the KT4.
The XP-G gives the brightest hot spot, with the P4 second. The MC-E, when driven appropriately, delivers the most light. The MC-E produces a fairly large, bright hot spot, just not as intense as the others. All three produce nice beams in the KT4. The KT4 IMO has inferior thermal transfer performance vs a KT1, and this can impact using an MC-E tower driven at full power (i.e., 700mA drive per die).
The Seoul P4 is sort of the standard LED. Not the brightest, not the newest. But it works well, and installs easily. The XP-G may need some height adjustment, depending on what tower kit and what MCPCB you use. Also, if the XP-G is on a 10mm diam MCPCB, you have to trim it down, which is a hassle. The MC-E can be wired in 2S2P or 4P. That is extra work. You also have to grind down the corners of the MC-E's case to fit it through the KT4's opening, which is straightforward but somewhat tedious work (also has a risk of slipping and marring the dome).