Allow me to split the difference in this debate: Mic up the kit with 3 or 4 mics, get everything perfect. Then, mic the toms and any other extra micings.
During mix, optimize the minimal mic sound, gate or manually edit out tom tracks to only include tom parts, then pull in the extra mics...