dodike

kill all and enjoy your fancy enchantments.

Has any of you condenser fans considered playing in creative mode?

Well, if you run out of diamonds you can go mining again. As for mining out all diamonds you don't need to worry about that as you most likely won't live long enough to do that unless you artificially shrink your world to bunch of chunks.