1) New models/stocks are normally cheaper.
2) Although the cheaper cards is OCed higher, it only comes with 3-year instead of life-time warranty.
Which card is the better buy?
It depends on if the life-time warranty is a must-have to you.
If it were me, I would choose the EVGA 01G-P3-1380-KR because it is cheaper and has higher clock.