Thanks folks,
To offer a little info...the guitar belongs to my sister who is a singer/songwriter in Seattle. She's owned it since 1994, and I've played it many, many times. It is one of those special guitars that must have been sprinkled with fairy dust during its build, because its tone is sweeter and richer than any other 712 that I've ever played. In fact, I sold my Gibson J-200 and bought my 95 Taylor GAWS (Grand-auditorium Walnut/spruce) after the first time that I played it. It was the first Taylor that I ever played, and I told her back then that if she ever decided to sell it, I would buy it.
Well, she has fallen in love with a vintage Gibson, and asked me if I was still interested in buying The 712. I have played my GAWS less and less over the last year because I've been having right shoulder issues, and it's too painful. I think that the smaller body of the 712 might allow me to play more. She hasn't decided what to do yet, and asked me to do some research and find out what the fair market value is. She may decide that she can't let the 712 go, or she may decide that she connects with the ghosts in the vintage Gibson. If she chooses the latter, I'll keep the 712 in the family.
Thanks for all your help, Folks
Joel