I run 4.88's with 37's and they are just fine. I went with 4.88's as they are a little stronger than the 5.13's, but there are plenty of people running the 5.13's with no issues.
The 5.13's will help a little with performance, especially in hilly terrain. In reality, although there is a performance difference, there isn't much of one. At 70 mph, auto transmission and 37's, you'll be pulling the following RPM's:
4.88 - 2140
5.13 - 2250
That's 110 rpm difference at 70 mph, with 35's it's only a little more, about 116 rpm difference. Granted it is at at the beginning of the power band, and you'll be a touch quicker off the line, but at the end of the day it's not much of a difference.
If you recalibrate the speedo, the shift points will be good. If you use a programmer, you'll pick up some performance that way too.
With an auto (excluding any TC doubling) you are looking at crawl ratios of:
4.88 - 55
5.13 - 58
With a stick you are looking at:
4.88 - 87
5.13 - 91
Again, not a significant difference.