Is there some proof-of-concept script that RBF double-spends to a DIFFERENT output address? I wasn't able to find one. Still sounds like FUD to me.