Has anyone heard of a diver getting severely bent on the Rodeo 25 wreck doing a double dip here in South Florida?