Gun talk or something beside the stupid title i gave it

I looked at a post war P38, a Walther with all the do-dads and the case that came with it.
they fit my hand well, but that DA pull really sux. I thought $650 was reasonable, the fit and finish were as good as I have seen on anything.
I didn't buy it, but I'm considering an old Model 10 with a 4" pinned barrel, lots of holster wear and a very slick action.
 
Does the AR15 bolt look better?

20210716124849615.jpg