Pour info, Mamaril est censé avoir un taux de chance de spawner, quand vous entrez dans Sanctuary (au sol ou dans les airs), de 10%. Seulement sur les versions consoles, ce taux était buggé, et était de 100% pour le Sanctuary au sol (il était tout le temps là quoi).
Je ne sais pas si ça a été corrigé depuis. Par contre sur PC, c'est bien 10% pour les deux versions de la ville, et ce depuis le début.