Does triggering the lava trap and teleporting him onto it work?

What you have to ask is: "Is the amount of XP I get really worth the tedium of doing this fight?" For me, the answer was "no". There's more than enough XP to reach level 20.