My recent purchase came with a service manual. I now have an uneeded spare. Great tool to have around. Makes (among other things) a great coffee table book, coaster, roach exterminator.
You get the pick of the litter. One is well used, I am guessing the other one is gently used, I haven’t looked at it yet.$25 plus cheap shippng.