IRRemote library & tone()

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

http://arduino.cc/forum/index.php/topic,45265.0.html

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

Thanks.

Ian