Not sure about the husband. I assume he has an income too so their family income is probably closer to 200k
I think it's great that she paid it down, but on 225+k/year, it seems like the interesting story would be if she didn't pay it down.
I make great money myself and am married, and I don't even eat out that much.