I have been cooking cabbage lately. I buy a head of green or red cabbage from Whole Foods, chop it up, and sauté it. I always wash other greens that I cook which are "loose" like kale or mustard greens...I haven't been washing the chopped cabbage. What do others recommend? Should I wash the cabbage? Thank you!