Firstly, is it really true that David LEE ROTH wrote lyrics and the harmonies for what became "Summer Nights" on VAN HAGAR's 5150?

Does anybody have this? Is there a bootleg version circulating?

And what about the other tracks DAVE co-wrote for what ultimately became VAN HAGAR's first in a series of declining efforts?