I think I'd need to ask Dutch Pinball to do that as they were the ones to purchase - and I gather they are off to China in a couple of days to visit the new contract manufacturer. I'd like to get it up and running by Christmas, so I think I'll bite the bullet and order from Pinball Life as they're significantly cheaper there.
I'm sending the broken board back to Ducth Pinball, so perhaps they will be able to claim on the warranty and reimburse me at a later date. We'll see.