Thanks for the input guys. You guys have a great community here.
Im in san diego, and would appreciate recommendations where I can get these serviced. Also, what is a fair price to have them serviced?
And no Im not looking to flip them, these have been passed down from my grandfather, to my father, and now to me and my brother.