Is anyone else sad the Dolphins won?

I'm not a fan of the Dolphins or Patroits, but it would have been funny to see the Dolphins go winless and the Pats go undefeated. Quite a way to stick it to the '72 Dolphins. Oh well...