You can put charcole on the lava rocks, but you can also use a liquid smoke additive or hickory chips (as someone mentioned). I love my gas grill, and I use different types of wood chips based on what I'm grillin'...
It's getting near BBQ time here in Cle Elum, WA, so I'll be dustin' off the grill this weekend...