If you have them do they shrink with washing or stretch? I have read something on here but can't remember where to suggest they do one of the above. Not sure if I should size up as I do with everything else in there, or size down in view of stretching. Thanks