In a 2wd 3800 is more than plenty for 10 min plus.
I remember when 1200 was considered alot lol, but we only ran 4 min races and would peak the battery right before the race,carry the car to the starting line and not even turn the steering for being afraid you would dump before the 4 min was up lol.
