Although a BBQ mop isn't exactly the most complicated thing in a grill kit, the tool isn't something amateurs always make use of. Here's how the pros do it.