According to the 1990 US census, Thomas is the 10th most common male first name.
"Tom" is 154th - so most Thomases must use Tom in everyday use.
"Tommy" is 161st - but most adult tommy's probably use tom. Also, there are tomas and tommie and
http://www.census.gov/genealogy/names/dist.male.first