Wait, wait, wait. . . when did Miami make the playoffs as a 4-seed? Aren't they supposed to suck?