Minha recomendação é usar o formato que usamos aqui, para facilitar a vida do leitor, já que não é nosso padrão deixar os números nesse formato. Deixaria ainda o formato original entre parênteses. Assim, agradamos a gregos e troianos :)

Nos EUA e no Canadá é muito comum ver em propagandas o telefone 1-800-"alguma palavra". É um modo do consumidor decorar o número daquele serviço, já que a palavra deve estar ligada diretamente ao produto ou serviço. A pessoa decora a palavra e depois digita as letras conforme aquela sequência aparece nas teclas dos telefones antigos

Os números grátis (toll-free numbers) funcionam somente dentro do territóro do respectivo país. Poranto se eu ligar para um número 0800 no Brasil, "too bad so sad", não vou conseguir completar a chamada. Da mesma forma, se alguém ligar para um número 800 aqui nos States, também estará perdendo seu tempo.

Se o material faz parte de um anúncio publicitário, de um manual de instruções ou até mesmo de uma página na internet, faz mais sentido fornecer um número de telefone normal que seja acessível do Brasil. A menos que a tradução seja destinada aos falantes de português dentro dos EUA, que não acredito ser o caso.

Enfim, fica aí o alerta!

PS: A empresa tem vários números normais em seu site. Sugiro consultá-los, chamando a atenção para esse detalhe importante.