I'm partial to JVC gear, in fact I love it and it sounds superb. The R-S7 is from around 1979-80. 50 wpc. I have the TOTL R-S77 since new in 1980, still going strong. I my opinion, this was one if JVCs best years. Almost all of my JVC stuff is from this year. I grew up listening to my Dads Nivico JVC 5003 receiver and GB-1E omnidirectional speakers circa 1968. A lot of people dismiss JVC, but when they hear it, they are often surprised at how good it sounds and often say it sounds better than their Pioneers, Yamahas, Kenwoods, Sansuis and so on. I'd say grab that receiver you heard if you liked the sound before it's gone.
Cheers, Glenn