Did you pay his full holiday pay in advance in one go? Ewwwwwww!
I personally would pay it, then get in writing from Fair Work if he is entitled or not either way. If not I would be letting him know it will be immediately deducted from his next pay.
I have had very good dealings with Fair...