Can a car cover be washed? If so, it looks too big for a standard washer. Any ideas?