Justin, Leader of the Elves

When Justin, Leader of the Elves enters the
battlefield, you may search your library for
a card named Diego, Leader of the Pack or
Mikaela, Protector of the Elves and put that
card into your hand, then shuffle your library.
Elves you control have Indestructible
and flying.
{t}Add {x} mana in any combination of colors
where {x} is the number of elves you control