For reference per govsalaries.com in 2022 the WLS job paid $5,800 and the same year the DC job paid $11,851. Considering these guys put in about a billion hours a year, I’d guess none of them do it for the money.
Also an interesting side note of some other jobs and their salaries from that same...