depends on what "winter" means in your area. if you expect snow then separate summer and winter tires. if you don't expect snow then all-season tires.
where i live we only get a couple days of snow each year it seems like and the toads are cleared quickly so i just run all-seasons on my secondary vehicle with summer tires on my primary vehicle.
it's not random humans—its the Department of Transportation for my area. i would assume they are trained properly and have an agreement with the toads but tbh... you never know.