BBQ/Grill tools: Tongs, Flipper, Brush, etc -- What's your favorite brand and model?

[jdc]

Tongs and a spatula, what more could you possibly need?

Theres a 3 set of those tongs at costco for $13.

If you have a resturant supply store near you, they might have some good stuff. $10 for tongs seems a bit much/