So 80's Spider-Man and his Amazing Friends music got released.

[D.M]

Yup:

Just like that, out of the blue.

EDIT:
Available on Spotify too:

EDIT 2:
Whilst THE generic rock tune isn't present (that one comes from solo show), THIS one is:

 

[D.M]

And they just released MORE Spider-Man cues AND 1982 Hulk show music!

Anyway, curiously, included with Spider-Man stuff are isolated unused lyrics for the solo series.