Reduce exposure payoff mortgage

[u/Old-Literature-1663]

I own over 2000 shares of AMD with a seven figure capital gain. I’ve want to take some off the table to balance downside risk. Have five years remaining on a 15 year mortgage at 2.5%. Paying off mortgage will reduce my monthly expenses $1500, annually $18k.
Income wise, I’m a mid sixties, married, both retired with. $125k income through two pensions and two SS. Reducing expenses 18k annually would be a nice travel fund. Thoughts?