Just wondering what you all think about drive-thru car washes. I mean the kind with rollers and brushes and what not. My previous cars have all been used and not that pretty to begin with so I never worried about it, but my '07 3 is so nice and shiny, I'd hate to screw it up. Are those machines safe for the paint and finish? Also what about the radio antenna that doesn't retract-- is that likely to be damaged?