Anyone watch the reboot of Cosmos with Neil DeGrasse Tyson? I'm wondering what mic(s) they're using on the location shots. It sounds amazing. I'm wondering if it's all ADR. Anyone know?

He's so far away for some shots those would have to be a lav if they were shot live however, those particular shots have a disembodied sound to them so I suspect they were ADR'd, especially for those times when he's coming into or out of off camera narration.