int envy24ht_model = -1;
/*
 * Select the Model number if the card isn't autodetected
 * Values: 0 = Envy24ht 1=Envy24PT/HT-s compatible -1=Autodetect Default: -1
 */
