ToME: the Tales of Maj'Eyal

Hope this is the right place to post this. I've cleared all of Grushnak pride but the boss, Grushnak, Battlemaster of the Pride, is nowhere to be found. I've dug out all of the third level where he's supposed to spawn in case he was in a wall somewhere but he's still missing. This means I can't get ...