It would definitely be better to have official numbers instead of Doge's PR numbers, which probably are susceptible to Elon-flation (closely related to Elon time).
All that fuss for this?
(Edit: Oops, the goal is actually $2T, so average savings of $13,400, I guess.)
Of course, that won't be distributed evenly, so I suspect most people will see savings of $1K to $2K at most in a best-case scenario.