Yes, they came with an Audio Terminal, a pre Beolink 1000 remote that looked like a Link 1000 and used all the Link 1000 codes. At least mine did when I bought it in 1986.
A genuine Beolink 1000 will do the job just fine.
$500 does seem rather a lot of money, even in the US. That's around £325 and I don't think any one would pay that amount in the UK considering the repair issues. You can buy a 9500 or 9300 for less than that.