Interestingly he has had arguments with them over the years, most fervently related to the development of https://subsurface-divelog.org/