Gramática: Qual a grafia correta das horas?

Aproveitando a sugestão de um leitor “anônimo” para que eu modificasse a maneira de grafar as horas (ex.: 13:00h para 13h), resolvi postar este texto do João Paulo Ferry, que trata do assunto de maneira bem didática, como segue abaixo.
A norma diz que:

Na Língua Portuguesa, a representação de horas não é efetivada com a utilização de dois-pontos, e sim com a abreviação da palavra hora, que é h, sem ponto final (nunca hs nem hrs). A representação de minutos é realizada com a abreviação da palavra minuto, que é min, sem ponto final. Portanto, abreviam-se as horas desta maneira: 12h, 12h30min ou 14h22min. [Gramática Online]

Note então que essa é a forma correta, e amplamente aceita, de se escrever as horas em Português, segundo os manuais de redação.
No entanto,  segundo o Inmetro, a grafia correta das horas é escrita da seguinte forma, por exemplo:
9 h 25 min 6 s
Ou seja, usa-se os símbolos já mencionados – h, min e s – porém deve-se adicionar um espaço entre os números e os símbolos.
Note também que é comum o uso abreviado das horas, como em 17:00 ou ainda 17:00 h, que por sinal foi o ponto da discussão.
Eu defendia que o correto seria o uso do h no final, 17:00 h, por outro lado há quem defendia que o correto seria sem o h, 17:00
O fato é que o uso de uma ou outra é apenas uma questão de convenção. O que ocorre é que a grafia sem o h é utilizada no Inglês, mas a grafia com o h é utilizada no Espanhol, portanto os dois estão corretos ou, se considerarmos a regra no português, errados ao mesmo tempo.
Fica aí a dica!”

Mais uma dica