Presumably they would come from the highst rated raid battles, which are hyped up to be some of the most difficult battles in the game/series, so it would seem a little unlikely that he would have one, given he would be with 3 NPC trainers for the Max Raids. Unless gamefreak is Either bad at their games or exaggerated their difficulty.Don't think so, the leaker who leaked several gigantamax formes yesterday afaik doesn't actually have them, he's just getting the Pokemon so he can view their formes in the dex, and he's seen their gigantamax formes in the game's story.