Well 11K is close to the max from 3 XHP50.2 3V's, but for 3 XHP70.2's, ~25K or so (maybe a little higher) is the max, so 13K is only about 50% of max. I was pulling about 30 amps from one cell. The XHP70.2 should do better with efficiency and output, but of course they are 6V or 12V, so you need a boost driver for a single cell. Would be interesting if they came out with a true 3V version of the XHP70.2, then a straight FET driver would do. For the MS30, it is an interesting production light, being so compact, single cell,and also how that are getting that much in amps out of a boost driver. Not sure if Imalent's lumens are accurate though - it's probably over rated on this one. Looks like not available yet, so we'll see if they can really do it.
Of course of you did something like this: https://budgetlightforum.com/t/-/40599 for the XHP70.2's, it's a much simpler FET driver.
Also there are Chinese variants of 3V XHP70 clones out there, example: https://www.aliexpress.com/i/33016798142.html?spm=2114.12057483.0.0.283abc90UwxPR9, but looks like much lower lumens.