Originally Posted by FlashSoul
Was it on a pro spawned server where he might have chosen specifically those in his map pool?
Nope... on standard servers. It happened yesterday as well but that time with blackcathedral, leviathan and spillway with a teamsize of 8. There's no way the map options are random.