I would leave neutral saying that there was a problem but it was eventually solved (with some difficulty) through a refund. I generally don't leave negative if the problem was eventually solved, because at least it does give them the benefit of the doubt regarding human or computer errors, which they are willing to fix.