Is DROP retirement the right thing to do in Florida retirement?