When we were down in December the dinghy dock at CGB was in horrible shape. Missing boards every few feet. We seriously considered not going ashore at night. Have any repairs been made?