Question: What is the number of Mike Thomas?
SQL: SELECT COUNT(position) FROM table_20860739_1 WHERE player = "Mike Thomas"