Red dino, green dino