So ends the Jason Taylor vs Miami saga.