It is unnecessarily over capacity. A PD 9245 would be just fine. The main reason an oversized unit might not be best is if you are running it on a smaller generator like a Honda 1000 or even a Honda 2000. With the higher charge rate possible, the generator may overload.
More rated amps does not necessarily mean that the battery it is attached to can accept that higher current, so in general, no reason for it.
Contact Randy at Bestconverter.com for excellent advice. And they are in the Boise area too.