Just install it, you don’t remove old versions of IE to upgrade. I’ve never seen an IE upgrade lose settings. Furthermore if Windows Updates were on she should have had it by now, though a manual link is below:

https://www.microsoft.com/downloads/en/details.aspx?FamilyID=79154fb4-c610-4a1e-811d-dfe0f1dd84d1