I would definitely take it to a reputable dealer to get an estimate of what it would cost to repair the machine, as it could be something fairly simple that needs to be fixed, it's probably cheaper than even a low cost machine. Another alternative would be to see if the repair shop had any used machines for sale that she might be interested in as well.