Done; that worked really nicely. The delay before changing channels is very brief, which is great. Thanks!
The only thing remaining is to clear the TX queue and change to the next requested channel if the TX queue doesn’t empty itself after a certain amount of time has passed (perhaps a robot has been powered down or is unresponsive). I’ll assume that adding the following function to the radio_link library will do the trick:
void radioLinkResetTxQueue()
{
radioLinkTxInterruptIndex = radioLinkTxMainLoopIndex;
}