KidEnnui says:
Is Reptile dead dead?
Yes, as dead as any character on GP, in any game, ever. I was running the PC as an NPC and the rolls went badly with a critical hit. Reptile took damage equal to his full HP below 0 HP - which is instant death in 5e, no save.
If that wasn't enough, Reptile's player had quit Gamer's Plane months earlier, swearing that he'd never return. This simultaneously abandoned this game and half a dozen others,
including games he was running. If the party really wanted to scrape together the money to pay for Diana to
Raise Dead on Reptile, they could. But we have a full party of eight PCs (so no one to play Reptile) and about a dozen former-PCs that are now NPCs (so enough for me to run) back in Hochoch; I don't think there's a need or even desire to bring him back outside of roleplaying character relationships.