I just called their Riviera Beach Municipal Marina office and it was closed with instructions to call 1-800-LUCKY-32 (they were closed, too).

JB