What are you sending extra to this besides the required minimum payment? As far as the 401K, is the employer matching any of the contributions? I would contribute enough to qualify for the match and then use the difference toward this debt. 2800 isn’t really a lot of money, I don’t know that I would quit contributing to the 401K to pay it off.