First of all, sorry to see your loss.
Secondly, whether you get the door replaced or even got it dented/painted, it's still considered as the repaired/replaced part, so it's better to get it dented/painted by some expert denter/painter and it will not loose it's value that much in terms of resale.
However, if you can manage to get the original door from the dealership with original paint, then you may go for that.
The rest is your choice.
I hope it helps.