Thanks for sharing your experience in this, especially the confirmation that this sort of thing is more than a simpleminded academic exercise. 😁

Regarding mortgages, I couldn't agree more. We carry three these days, with the most expensive at sub-4% and the cheapest at sub-3%, so despite being able to, I have no intention to pay them off earlier than I must.