He’s better known on that holiday as Lucky the Leprechaun. Thomas worked for Harrah’s/Caesars Entertainment for 17 years, a fixture on St. Patrick’s Day at the original O’Sheas Casino.