工時疑問 - 職場

請問一下，

若A公司的上班時間為08:00~08:10
下班時間為17:00~17:10

中午休息時間為 12:00~13:00

今天有一員工上班打卡時間為 08:08，
請下午半天特休(4小時)，
這樣他可以離開的時間應該是：

1. 12:08
2. 13:08

請問哪個才是正確的呢？
勞基法上有明確條文說明嗎？

謝謝各位

--