Good question!
I am not 100% sure (mate who's doing it)...Its all automotive paint and will be cleared. I will double check when I speak with him.
It would be acrylic then. My brother works in paint supplying the auto industry. He put me onto some products that have been fantastic for pinball, particularly the paints themselves - you don't realise what a difference the paint makes when it's decent quality when it comes to sanding etc.