We love teppanyaki food. Apparently you can get a Teppanyaki plate to put on top of the barbecue. Does anyone know where I can find one?