Turns out you're right. I can't edit the post as the time has passed.
I've actually just never taken holiday from an hourly job, since it wouldn't have made sense at the time (if I were aware I would have probably tried to fill the time with more work.. )
I assume then that I should have been paid in my final pay. Ten years back now, I've been contracting or salaried since.