I got a great deal on a Swanndri Explorer shirt (like the Ranger only all buttons ) in May and haven't worn it yet as it would seem too warm for summer use. As it's a reasonably snug fit I wondered if experienced users have any advice on washing/cleaning these shirts? Are they likely to shrink when washed? Are there any pitfalls to be aware of? It's a size 42 and if the advice is that it's generally better to buy a larger size, I might be open to barter at the Wilderness Gathering next weekend. Any comments appreciated.