Is there a sufficient number of mechanics in the surrounding area to repair or maintain the boat, or do the south Florida marinas provide these kinds of services on their own?