IRRemote library & tone()

As described in this thread, there is a bug with the IRRemote library when using the tone() function:

Has anyone found a way around this? Are there other sound libraries or IR libraries that I could try?

Thanks.

Ian