I was thinking about it as well and I think I would go the Spelunkey style of procedural generation with random hand crafted rooms attaching to eachother randomly. With procedural generation Im always afraid It wouldnt be fun. This will be good to experiment to spend time with now :D