The WeatherSTAR 4000 in Fort Polk, Louisiana is a WeatherSTAR XL now, and there is a WeatherSTAR4000 in Lake Charles, Louisiana. However, it may be an XL or Istar now; I'm not sure atm. Sorry I don't have 'proof' but the next time I visit I'll record some LFs.