That's right. If you don't want to overthink it, then do what Tesla says and it's *nearly* as good as you could get.
When they say 90% is fine it doesn't mean they think it's best. If 70% is fine for your daily needs, set the slider to that and leave it there.
If you're the type that just can't handle any planning at all and every now and then you need more than 70% and if you can't remember the night before that you'll need that, then just set it to 90% and leave it there....even if it isn't quite as good for the battery as leaving it at 70% but it probably won't make a difference of more than a few % degradation over the life the the car.
It's too bad the 12v battery can't be charged from shore power.