Minha aposta é que um padrão repetitivo com um gradiente CSS seria a melhor abordagem… Uma imagem estática provavelmente seria significativamente maior, e baixar um arquivo maior provavelmente tem um impacto maior do que qualquer outra coisa (certamente consumiria mais largura de banda do que o CSS que cria o gradiente).