Does anyone have information about the launch HELOT or PATROL? Both boats were used by the Edgartown Yacht Club in from the 1940's to the 1960"s