As the new owner of a Char-griller, and first time round with cast iron,
I realize that you should oil the grill when it is hot, and before you
toss food on there.

What do you all use to do that with? Seems a lenghty process with a
pastry brush. I'm thinking of some kind of mop, heat resistant, about
the size of a tennis ball. Something that can hold more oil than a
pastry brush.

Does such an animal exist?

TIA,

Wally