navy has a few “divers” at Little Creek...LOL
Somebody on this thread mentioned something about that. What you said confirmed what I thought.