'Crab Pot' may not be the name of new high-end Rivera Beach waterfront restaurant