The Fenix E01 is an awesome little light in my opinion. I use one for EDC on my keychain (a role where I can't tolerate anything bigger). It's not super potent but it's sufficient to change a tire, unlock a door, etc. The INOVA keychain lights are also very nice, as is the Photon, but I'm not a huge fan of squeeze lights for EDC. The ones that don't have a constant-on are useless to me most of the ones that do are liable to activate while in my pocket, rendering the batteries dead when I need them.

Certainly 9000 lumens is optimistic for a small light! I have a two hundred dollar Surefire weapon light and it's "only" 500 lumens! I can't imagine how any small light could put out that kind of light with present technology and within the known laws of physics.
_________________________
“I'd rather have questions that cannot be answered than answers that can't be questioned.” —Richard Feynman