Allright, this morning in the broad daylight, I backed the car out of the garage for a reassessment. No visible damage at all to the door when shut, but when I opened the door, there it was, on the very edge of the door---a strip of bright red paint about 1/2 in.
long(the other guy's truck color). That was it, nothing else. I'm still amazed.