John,
Your wrote..........

"Pool players always referred to Las Vegas as Vegas in the 50s."

Do you have some names of these "pool players" from the '50s your referring to? Andy - Las Vegas