I’d be happier with all of them on your list over many names that are in the hall.
I was a little iffy on The Cars, I don’t really consider them rock so much as late new wave/80s pop, but they had an incredible impact on 80s music (some good, some crap).
I was actually shocked that Procol Harum and Steppenwolf weren’t already in, I would have assumed that they would have been inducted in the “second wave” (after major inductees like the Beatles, Stones, Pink Floyd, Zeppelin, etc.).