samatron, are you really making things easier for the players? That doesn't sound like you: usually, you try to make their lives more difficult. :)
Lucifer was indeed very strong, and of course, it was possible to kill him. But, at the request of the players…
Although, even now, you can't call him weak, even if you gather all possible additional units from the very beginning.