Lucifer, right? [like he's mentioning someone named "Frank" or "Tom".] He mentioned being from there in his world. There's only a more generic demon King in mine, and I understand the position doesn't have a lot of job security.

But pitchforks and such, yes. Although oddly enough they had done away with the flames while I was there. Something about wanting a "more productive work environment".