Never heard of that one but sat diving is very physical (most divers need somewhere around 6000-8000 calories per day). Might be from the older divers and problems with the gas mix they used to use but I've not heard of any problems these days, it may just be from all the demanding, physical work they do.