The 9500 was according to specs rated at 410 amps max load , (9500b)
the 12000 is rated according to specs at 430 amps max load, (12000b).

I have been running the winch of the aux battery but will change this.

I think it may also be smart to have both batteries as cranking batteries as well.