I have come upon two of these units in very good shape:
Once upon a time, these were top of the line units. I don’t know how much they cost new, but I’d imagine it is somewhere north of $3K in 1985.
Both machines work mechanically and electrically. One machine has some slight grooves in the record and playback heads and looks a little more worn. The other does not. I will entertain all offers. If a person would want the machine to be gone through and aligned, I’d charge three to four hundred dollars for my time.