Philo's Website
JVC RX-7VBK Manuals
I bought a RX-7VBK receiver at the MIT Fleak and ended up buying and scanning the service manual after it developed a fault.
JVC RX-7VBK Service Manual (105 MB)
(service manual includes instruction book)
JVC RX-7VBK/JVC RX-9VBK Instruction Book (23 MB)