Re: Repairing the Repair Tool
#1 is not too dissimilar to how it used to work in the old Battlefield games. It had limited "ammo" that when depleted, would slowly replenish over time.
---
Personally I'm in favour of not allowing a vehicle to be repaired if it had recently (seconds) taken damage so that a tank battle won't be decided by whoever has a dude crouched behind them and where a player's entire inventory of rockets isn't negated by a single player holding the mouse button.