How many Batmans could Thor take?

Assuming Thor is Trapped in an inescapable arena that spawns Batman's at a rate of 40/second, how many Batmans would it take before they found a way to win/Thor gives up.

Morals off.

The Batmans are bloodlusted

Thor can not go warriors Madness/higher states.

The Batmans have Batarangs and Grapple gun.

This is just for fun/last one of these.

Describe how many Batmans it would take and how they could possibly win.

Takes place here again:

My tactics:

Thousands of them could fire there grapple guns at constantly Thor then tangle/let them retract on him creating an annoying problem/distraction of getting them all off.

Overwhelm his vision with a sheer amount of Batarangs.

Rush him constantly till they can get the Hammer off of him (I assume Batman is worthy to wield it yes?)

Stack up the bodies as cover/wait till he fires lighting then redirect it back at him by using them selves and the corpses as a domino effect.

Post if you think any of these might work/any of your own ideas.