RDD sent to RED address
You have the first part right. REDD and RDD use the same pub/priv encoding scheme. Therefore we can simply export the privkey of his RED deposit address and import it into the REDD wallet. Then rescan. This does take time and we are working on ways to automate this. (It happens quite often ) -Mullick "Technical Support Manager"