Indeed, and I have just discovered that the actual ROM is 256k, but if you have a 256k file like I did, you can just cat it twice to make a 512k ROM and that works! It seems that 512k dumps from the machine just have the 256k image twice in the address space - weird but it actually seems to work.