many thanks for all of the replies and I welcome more readers and respondents--the box does have the serial number on the side, and I do think it's a 35-1. I appreciate the info about the one for sale at $1350 and I agree that price is probably too high. I am attaching more images to this post
IMG_0684.jpg
IMG_0685.jpg
IMG_0686.JPG
IMG_0687.JPG