Given how tight DL has been with miles for compensation recently, I would say 5k is pretty good. I probably wouldn't push any harder since DL keeps track of this and it might lead to them being less generous with you in the future when an even more significant snafu occurs.