We have a second hand joolz and I want to give the raincover a nice wash before we use it (it's been stored in a grubby garage). Is my only option scrubbing it in the bath? Or would a cool machine wash work?