“I would think for such a small amount, the diver would be better off filing a small claims suit, think it’s a $30 fee. A maritime lien filed with Coast Guard costs so much more – I filed one for several thousand dollars 10 years ago and it cost $200...