"Mangrove Mike's" is in what once was the old restaurant- we needed more time for further exploration, but only had time to snap the few pictures.