12-bit PWM for LED lighting

Hi,
Thank you very much for this contribution.

I am doing a similar project for the regulation of LEDs at 12 bits of resolution and with a frequency 3.9KHz. This works perfectly with Arduino Leonardo using timer1 and output 9.

But in my specific case I need to use 2 outputs with these same characteristics, pin 9 and pin 10, which correspond to the same timer1, but to regulate independently the light intensity of each PWM output.
I've been reading a lot about the records and I don't know if I'm doing well.
Could you help me with this?

Thank you!!!!