Tras mucho buscar, pienso que los correctos para España son
HTC__304 (en el caso de la libre)
VODAP304 (en el caso de la Vodafone)
aunque como comenta Folgui, la HTC__001 funcionará también (dado que es la genérica europea)
Si alguien puede aportar algo más de luz...