What gas output required for home stir frying? I love stir fries, but I've never been happy with the result from using my 2400w electric nonstick wok. 

I've bought a nice heavy steel one and know I need a gas burner but not sure of the output I really need? My bbq has a 12000btu output side burner (about 3.5kw) which will obviously do better than the electric wok, but is this enough?

What is the optimum output to use without getting into the professional output range?
Here's a quote from the short section "Stir-Fry" in the Gargantuan work "Modernist Cuisine":


  ...a wok burner can deliver up to [...] 200,000 BTU/h of thermal power. [...] By comparison, Western-style professional gas burners deliver [...] 15,000-30,000 BTU/h), and domestic gas  burners [...] 6,000-14,000 BTU/h)...


So for professional stir-fry ("bao" in thai - I think), the hotter the better. But there's also non-professional "chow" stir-fry, which is, in "Modernist Cuisine"s words, more like a "covered saute". You don't do the asian stir-fry because the flame is just too small, so you cook the fresh foods in their juices, stop while they're still crisp, and know that the world holds compassion also for guys with stoves like ours.