I remember that ARA held the games as they decided to renegotiate the cost of the game to Dutch pinball and wanted a $1000 or so more for each game to be released. Is this correct? Did Dutch pinball pay ARA partial release initially and did ARA raise the quoted cost of manufacturing?