Hi Karma
I am having the same trouble as you with the tone() not working with IR remote. Your comments look really useful except I don't know how to change an existing library. Could you please share your adapted library, with another pin (other than pin2) activated for the IR timer? Please that would be most useful.
Otherwise any advice on changing an existing library? When I try to open an .h file it does not allow it. So not able to get into the library to select the correct pin.