No. Just no room for anymore barrel work. If dented the dent will be very difficult to raise without more metal being removed. Heck just polishing for bluing might cost you a thousand or two. If .019 worries you now how does .018 or .017 sound?

On top of that I just don't think barrel wall thickness measurements are precise to .001. What if the measurements is off by .001, .002 or even .003? Have you measured them yourself and know for a certain fact they are as stated? I take my measurement system's results with a grain of salt. So I would pass. Better to pay more for a gun with more life left in it.