Good catch! On the AWIN system, TGID 32251 is for the AWIN Radio Technicians. They also use 32269 & 32275. They'll probably assign Hot Springs TG's based on AWIN framework, even though the HS Simulcast won't officially be part of AWIN at the start. That would make a for a quick integration with no TG conflicts into AWIN when they decide to do it.