How much cheaper would the mortgage be, really?

Blaming "the government" is silly. If she initially borrowed 67K and now owes 80K, either she got a negative amortization loan or she has borrowed additionally against the house. That is your mother's doing - not "the government's." You don't have all the facts.