IR and Radio communication on the same board?

I built a little prop for a laser tag arena I work for that sends out a kill code to a handful of well-placed emitters whenever a button is pressed to simulate an air strike. Now I'd like to be able to trigger that effect with a little hand-held remote. The board I'm using for the air strike is a Pro Micro 5 Mhz (ATMega32U4 chip). My question is that I know the IR communication library requires the use of a timer, and from the tutorials on the 434 Mhz RF transmitter and receiver I got, the RadioHead library for their communication requires the same timer. Will there be a conflict here, or does the timer just continue to run and the libraries grab the current values just whenever they need?

It may work, depending on the use of the timer in the libraries. When a library changes the timer frequency or interrupt, or starts and stops the timer, a different solution (other timer...) for the other library must be found.

For what it's worth, RadioHead can be configured to use a different timer.

Thanks for the replies. I'll give it a try and we'll see what happens. Thanks!