I'm interested in purchasing a new wok (to replace my non-stick one) from the Wok Shop. I've heard that both cast iron and carbon steel are the ones to get. I've got a gas stove -- any recommendations on which type of wok is better? Will cast iron get and stay hotter? Is carbon steel lighter and therefore easier to work with?