I do open water dives in fresh water with students in 7mm suits, but not FJs. We use aluminum tanks. I would start someone that size with about 10 pounds. I used to work for a shop that used 7mm FJs. I don't remember us ever using more than about 24 pounds on a full sized adult with an aluminum tank.I could not find a density measure either but I did see that the lake also serves as a water reservoir for folks living down stream. But the 7mm FJ does make a big difference. Gross over-weighting does not seem to be the case.
I don't care if the water is gin clear and calm, when one divers in a group decides to bolt, a single instructor will be severely challenge trying to maintain contact and control over all the divers in that group. Even it the instructor is able to grab the offending diver, is it your contention that the instructor has the duty and the right to hold him in position and not allow him to surface?
Once the initial diver bolted to the surface, which would have taken a couple of seconds from 15 feet, that episode was over. The instructor had to go to the surface to make sure he was OK, but it would not matter if he arrived a hair later, the amount of time needed to show the two other divers the thumb and get them to ascend with him.