Are 401ks subject to disclosure? Also, 175k isn't that much when you live in DC. I know that's a joke to a lot of people, but DC is crazy expensive.

Edit: https://www.ethics.senate.gov/public/index.cfm/financialdisclosure

That's a senate page, but it might still apply. The TSP is not subject to disclosure, neither is an IRA in normal situations. I think AOCs retirement probably doesn't have to be disclosed and hopefully is pretty stuffed.