Are you still looking for a HAL ST-5000 demodulator? I also have the manual. It is priced at $35.00 plus shipping. I have it listed on e-bay and have a selling price listed at $35.00 or you can bid on it. No virus found in this outgoing message. Checked by AVG. Version: 7.5.524 / Virus Database: 270.6.21/1670 - Release Date: 9/13/2008 12:50 PM