@Marty ********
there isn't a non-OA anymore, so they weren't on a marriage non-OA. They were on a marriage extension, which never requires insurance.
But if they've gotten annual extensions unbroken from an original non-OA entry, and they want to switch back to extensions based on retirement, the insurance requirement would still exist for retirement because of how the line of extensions started.