I guess if it were me I would just fix the one your gf has been using for almost 3 years and go on about my business. I would not send it back to them for repair, just have it done locally if possible. If not possible then send it to them and pay the $80.
