Fix reliance on best effort guarantees for RTMNoREC