All 100H-30 will work.
I would keep the Thomas, the difference between both driver in terms of energy savings is around 4.7W; where I live, 1kWh cost around 15 cents so with $50usd(50/.15) I can pay 333kWh.
If I use these light with a schedule of 18hrs per day, will take me 11 years to use...