Have only found the coffin once . Texass took us to see it on my first dive at CSSP, 5 yrs ago. Saw the alligator once also, and it seems like it's nw (more west than north) of Sisco the Shark, fairly close, actually. Maybe some of the ones who see it frequently can enlighten us, would like to find it again.
And the only time I've found the mine, I didn't find it, Zzzking did. He navigated our group DEAD ON the to cable that is holding the mine, approximately 18 inches below the ball, not 6 inches to the left or right, but exactly onto the thing, navigating again from Sisco, if I remember correctly. Anyway, that story has become Swampdiver SI legend.
I did find treasure recently at CSSP, did most of an hour long dive toting a huge glass bottle someone had thrown in there, sheesh. You would think divers, especially, wouldn't throw trash in such a great dive lake.