Quick question. My parents have a place in Key Largo and we fish quite a bit for sharks off of the dock. Yesterday my brother came across an 8 foot plus crocodile in the water. Curious to how aggressive these guys are normally. I don't want to tie into one with 650 pound leader.