[How good are the average integrated amps from the early 80's (silver metal casing) for headphone amplification? Let's say compared to an average cMoy?]
Older integrated amplifiers and receivers, from the 70s and early 80s can perform very well as headphone amplifiers. Although not compact in size, you get the benefit of multiple high level inputs, tone and balance controls and a phono stage preamplifier (for use if you ever plan to listen to vinyl). None of the dedicated headphone amplifiers will offer these refinements.
I personally like the Marantz amplifiers and receivers from the 70s, but other older equipment has been shown to work well too when used with many of today's headphones.
To buy a new dedicated headphone amplifier that would perform as well as or better than a quality vintage amplifier or receiver, you would have to spend more than $200 for the amplifier, or for a DIY amplifier, for the parts. One of the most important, and also most expensive, part of an amplifier is the power supply. The better quality older receivers and integrated amplifiers had very robust power supplies. Today, the cost to replicate these power supplies would be several hundred dollars. A vintage amplifier that today costs around $75~$100 used in good condition can be a good value, especially considering all of the features included for the price, at around 1/3 the cost of buying a dedicated headphone amplifier.
The headphones you've listed are not very demanding in terms of power or impedance, so go ahead and enjoy them with your JVC amplifier, they should work fine.
On an absolute basis, the background noise level of the JVC amplifier may not be as low as with a dedicated headphone amplifier, but in actual use you may not be able to hear whatever transistor noise there is at any volume level you would ever use.
If you ever upgrade your source, i.e., to a quality vinyl playback setup or to a DVD-A/SACD/universal disk player, and upgrade your headphones, then it might make sense to purchase a dedicated headphone amplifier. Otherwise, you are way ahead using the amplifier you have as long as it continues to work properly. If you have any noisy controls on the JVC, you can use contact cleaner spray (available from Radio Shack and also other sources) on the inside of each rotary control or switch. That will usually solve the problem.
Regarding the Onkyo T-4 tuner, here is a quote from another forum:
"Got one of these for $104 with freight off the 'Bay. Very good sensitivety and seperation. One of the best tuners I ever had."
Try hooking up an antenna, or even just attaching a short length of wire about 5 ft, in length, and the Onkyo tuner should surprise you with the quality of the reception.