Yep, not sure why more people don’t take advantage of a 10% discount!
We used the AARP discount on our last cruise and had no problems before they switched. I will say that I found it easier to find codes for Allstate than the AARP.
I’m booked on the same cruise as you and I quit worrying about all those negative reviews! Most of them come from someone that has never reviewed in the past.
We saw the same negative reviews when we booked the Miracle this past June and had no issues at all with that ship.
Have fun!