Personally, I'm okay with it, the identity of RED Robin as a name didn't work for Tim, going back to Robin (at least until another more suitable codename comes along) makes sense. Its not like in-universe many people actualy CALLED Tim *RED* Robin anyway.
I'm more interested to see how Bendis handles Tim whatever name he's given (I'm actually finding Bendis' time at DC fascinating, I wasn't enamoured with all his Marvel work,far from it, but he's been pleasantly surprisingly impressive at DC so far IMHO)