this is the wrench i am going to bring
Tom, antiseize matter? what the heck is that? or are your taking about the blue lock paste? i guess the anti-seize stuff would help if the PO had used it.
And yes the PO did do the initial rounding of the nut.
btw, i did try one of those sockets made for rounded bolts, worthless.