He might make too much money. Phase out starts around 124k and ends at 139k.I read most of the thread. I believe you should spend some time on bogleheads.org.
There are a few extremely educated people on there when it comes to finances. Also I didn’t see it mentioned but if you haven’t been you should be using a Roth also.