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).

Another data point - https://www.reuters.com/world/middle-east/one-year-war-israe...

> 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.