I can't find sources for "tens of thousands of rockets just since oct 7", can you help me? I see a few thousand as parts of exchanges after the Israel-initiated "12 Days War", and then a few thousand more after the (also Israel-initiated) current conflagration. Notably, the rocket attacks stopped during peace talks that US and Israel entered after starting the wars, only to resume after those peace talks were betrayed with bombing.
The 9,500 figure was for all fronts, not just Gaza. But true, it does include some Hamas rockets, most of which are not exactly "Iranian" (although Iran helped with training and smuggling some parts).
> Since the start of the war, 13,200 rockets were fired into Israel from Gaza. Another 12,400 were fired from Lebanon, while 60 came from Syria, 180 from Yemen and 400 from Iran, the military said.
So 12,400 rockets fired at Israel by Hezbollah, the vast majority of which are supplied by Iran at no cost. That's just in one year and doesn't include drones.