 All together, they had $1.4 million inside of their 401k. So not a massive, massive nest egg, but a really nice nest egg. Everyone shoots for that million-dollar number in retirement, and they had hit that. And they're in the fortunate situation of he was a government worker. He was going to have a really nice pension in retirement. She never really worked outside of the home, so she was going to claim some of his Social Security because he's one of the CSRS employees.