@ Wolf: they're the names we've given them. Carrot's show name is Majikcharms Amadeus, because he's a Majikcharms beardie
Not sure what Merlot's showname is. I think they all begin with A though.
Carrot's full name is Carrot Pilausson. He's sort of named for Carrot Ironfoundersson from the Discworld books.