No, just overkill. A 10KW would be enough, but the price difference was pretty small to go to 12.5KW.
At any one time I could be running three 15K BTU roof airs, a 16 CF refrigerator, a 15 CF chest freezer, a coffee pot, a microwave, one or two 1200 watt food warmers, and more. Of course, not...