Inner-ear decompression sickness in nine trimix recreational divers.