Powernoodle -
You should get just about a doubling of lumen output from the Seoul LED, maybe a lot more, maybe a little less depending on the bin of LED in your existing EDC. As you know, a doubling of output is pretty easy to see in side-by-side comparisons, but might not knock your socks...