Will getting a larger roof A/C solve the problem?

I have a 1993 Winnebago Brave 27RC and it has a coleman roof A/C. The BTU's are about 12,500. If I install a 15,000 Coleman roof A/C will it stay cool better in the hot Florida summer afternoon?