Just make sure he has your full address in Thailand. He’ll need it to complete the TDAC arrival card and in case Immigration asks, which they rarely do.
The processing time stated on the website is 10 business days; however, this is merely an estimate. You may wish to wait a little longer and contact them if you have not yet received any update by email.
Good and clear comment, but he still wanted a Non-O visa based on marriage to a Thai national. He just got a bit unsure about the financial requirements and thought it required both income and a lump sum.
It’s just your friend Stuart who’s got things a bit mixed up and is talking about an extension of stay in Thailand.
You can apply for a Non-O, as you’re trying to do, by providing documentation of at least three months of income of a minimum of 40,000 baht per month.
400,000 baht is just an alternative basis for applying if you’re not using income.