Yes, that is Redstar. The following image from Tiny Titans #11, shows how he ended up with the idea that Robin's name is Ice Bucket. I really don't know how they got Ice Bucket from Nightwing or the other assorted Night-suffix names the other characters were rhyming off in TT #5 (though the one did randomly shout out "Cream Corn!" Huh?)