I have 2 vintage 830s, not the 930, and adore mine. They've been my best friends for 2 decades, bought used in the early/mid 90s when I paid in the $500 range. Not exactly the same as the one you mention. They are indeed workhorses! And heavy as h-e-%%!
Jan in VA