I don't know if I've ever encountered a true "puzzle dungeon" before, but I am super intrigued by this! This could either go really well or really poorly for my group depending on the day LOL
Ha! Well, as it stands right now, there are no stakes to force the players to figure it out then and there. They could always leave and revisit another day.