this is obviously a set seed because how else would he know where the stronghold is without ender pearls! btw end portals are around 3000 blocks away from spawn on average meaning there is a 0.033% chance that he finds one at spawn and given the odds wouldn't it make sence for him to click on advanced then click "create" and do the run as normal which would verify he didn't use set seed