I went with option 1, and the Pilot Alpin has been a good tire for me (Calgary & area, lots of weekend snowy mountain trips). I pay about $180/year for two tire swaps and it’s all fine.
If I were doing it again, I’d move to an 18” or 19” rim. The 20” is basically an expensive rubber band on a...