I don't wanna overwhelm you all with too much technical detail, but wondered if anyone knows if it's OK to put the carpets from a Mk 4 Spit into a washing machine? I don't have easy access to a carpet cleaning machine so this would be the easiest and cheapest option, but would they be at risk of shrinking at 40 degrees, which is the coolest it seems my washer will go? As background, I took them out to check the floor condition so they're ready to go back in, but it seems logical to clean them first. The car has only done 60,000ish, but then it IS old...