Do you typically mix your pulled pork with a BBQ sauce after you shred it?