Hi Donald,
The phase noise performance required at each PCBx will help to choose the right clocking products. Do you have a phase noise or jitter target? If you already have an 80MHz oscillator, you could use a fanout buffer with 12 outputs such as the ADCLK954. Individual buffers could be added to each PCBx as well to ensure signal integrity.
We also offer clock generation products which can synthesize the 80MHz and also include the 1:12 fanout such as the AD9520 product family.
Regards,
Kyle