I've never heard of him either like. Not everyone knows every player in the world. And playing for Brazil doesn't mean shit. Getting in the national team is like the Brazilian equivalent of national service. It wouldn't shock me if Felipão had made a few appearances off the bench.
Don't get me wrong, TCD is patently a speg, but I can't chastise him for this one.