He doesn't need anything...when he comes back into Thailand he will get a visa on entry,then he should go to imergration and change it to a non o visa 1900B then apply for his normal retirement extension.i definitely wouldn't advise him to change to the marriage visa unless he likes to jump through many hoops...
The ask:thailand community, consisting of multiple Q/A groups with over 100,000 members, powers this platform. It is not an official government resource. Our members actively contribute to this resource, and while we strive for accuracy, we cannot guarantee its complete reliability. Assistance to travelers is provided as a community service.