What are holiday entitlements for thai employee under Thai labor laws?

It's in the contract.

minimum 10 days+all bank holidays+30 days sick leave = alot

I asked my staff if they'd rather have those or have Saturdays off. They choose Saturdays off = 52 days/year.

Saturdays off is a good idea, We used to work 8hrs a day 6 days a week, now we work 9.5hrs a day 5 days a week, Saturdays is now overtime.

minimum 10 days+all bank holidays+30 days sick leave = alot

I thought minimum is 1 week (6 days) plus public holidays

The Thai Labor Protection Act of 1998 applies to all "employers" employing "employees" in Thailand

Normally an employee can be required to work a maximum of eight hours per day and a maximum of 48 hours per week. If the work might be considered hazardous, the maximums are seven hours per day and 42 hours per week.

An employer must grant its employees a minimum of 13 paid public holidays each year. If a public holiday falls on a weekly day off, the next working day must be granted as a paid holiday. The public holidays must include Labor Day (May 1). The other twelve holidays must be chosen from a list of 16 holidays published by the Thai government.

An employee who has worked at least one year must be granted a minimum of six days paid annual leave each year.

An employee must be granted a minimum of 30 days paid sick leave each year. An employee using sick leave for three consecutive working days can be required to provide a physician's certificate proving the illness.

An employee who is an expectant mother must be granted a minimum of 90 days maternity leave. The employee is entitled to be paid for 45 days of the maternity leave. The remainder of the leave can be unpaid depending upon the employer's policies.

Hope that helps