k3s also let's you have multiple master "servers" so in theory you could have HA as well.

Yes. Having multiple masters is also recommended. A minimum of 3 master nodes. I have 3 masters and 4 workers currently.