Which chip to control four 3-digit 7-segment LEDs?

Yes, that's the summary I needed: two MAX7219 to run 12 digits.

I'll leave this open in case anyone wants to volunteer other chips as well.