set up the overheads as best you can, then just listen.
maybe the ride or one of the crashes seems quiet?
if so, then mic it, but don't bother if you don't see a need. go ahead and mic the hats, you may not use it, but better to have and not use then to need and not have.
i think these guys...