Does anyone have experience with both of these lenses to determine which has better Autofocus when paired with a A7rIV or A1?  It sounds like both are very sharp lenses, but there are conflicting reports of which one has better AF underwater.  Would love any feedback on the topic. I recently spoke with a sales representative at backscatter who didn't think the sony 90mm was a good option, so wanted to get some more opinions here.  Thanks all!