Hat der Rote schon einen Namen? Und ist es bereits zu spät den "Das sind nicht die Porgs, die ihr sucht!" Witz zu bringen?