By any chance, was it Pippin ? He used to be
The Man in freediving. Back before his wife died doing this stuff, he was in Cozumel, doing a big dive, and they were making a movie about it. I was bicycling laps to the north end and back, and a car load of local DM's/ instructors I knew stopped me and said they were going to a hotel up that way, to be extras in the film, said they needed some more folks, and asked if i wanted to come along. I figured, "what the hell", and followed them up.
We were involved in a staged scene were we were supposedly a bunch of photographers on the back a boat, photographing one of Pippin's record attempts (the boat was actually tied stern-in to the pier, but it was made to look like were were out in the ocean.).
I later found out my girfriend ( a NAUI instructor from Argentina, and videographer for a local dive op) was part of the in-water crew for the big dive he was on the island for.
I was asked to come back for more "extra" work, but we weren't getting paid, and the novelty had kinda passed, so I begged off. I ran into them, and his wife, while out on a working dive trip, a day or so later. His wife was wearing a nice looking white Mares suit, and freediving down to our dive group on the sunken minesweeper, IIRC.
I never did see that film, haven't been able to dig it up on the interwebz, but a Canadian friend of ours called down once, saying he'd woken up in the middle of the night, turned on the TV to some Discovery/Natl Geographic-type channel, and saw the movie, even recognizing me taking fake pictures off the upper deck of the boat !
By the way, I knew some of the local tri-mix divers that were hired as safety divers for this stunt, and Pippin and his entourage left town, and stiffed them !! He was kinda persona non grata on Cozumel after that.
Apologies for the off-topic ramble down memory lane !