When the information for the catalogue(s) was compiled, the authors may have been of the belief that those chips were from Las Vegas. Gene has offered an excellent explanation as to why these are no longer considered Las Vegas chips...the reference guides will most likely be revised to eliminate / correct this error.
Steve B