I'm still trying to get past the 'spousal support portion of retirement pay' part.
The only way that she would have any portion of his retirement pay is if it were awarded to her in a divorce - but if they had a divorce, they wouldn't be getting an annulment (at least, not a legal annulment - it could be a religious one which wouldn't have any impact on the retirement pay issue, anyway). But in a divorce, it would be very unusual to get spousal support from retirement pay. Usually, division of retirement is considered a property division issue, not a spousal support issue.
It will be interesting to get the details on this one.