It is a tie. They can count forever but we will never know who really won Florida -- there is no way to determine a result that won't be inside the margin of error for that method of counting. Too bad there is no established mechanism for allocating delegates under such circumstances.
Flip a coin! It's as good as anything at this point.