Да, Робин - лишь одно из множества имен, которые он использует, конечно. Причем часть из них даже "истинные" - в том смысле, что под ними он крестился. А крестился он минимум трижды.