Sin embargo ya había, para la venta en Europa, una máquina llamada PET de la enorme compañía holandesa Philips, y el nombre tuvo que ser cambiado.