Peter. There is no rhyme nor reason for mixing paint types (I mean over-painting, not actually mixing).
You would have thought an acrylic paint would go over everything but this is not the case.
Depending on the ease of masking up (or whatever) I would use car spray white for convenience, but…
Whereas acrylics seem to be very fussy about what fgoes witrh what, oil based paints are quite happy with each other. I personally use ordinary household white undercoat/topcoat for anything brush painted white.
If the finish (satin/gloss/matt) as delivered by the decorators paint is what you want, then use it, as long as the undercoat is compatible, or even, just use two coats of the decorators.
Ashley