It's a little strange that my A4000 can play Theme Park straight off the disks by rebooting with certain settings and certain bits disabled, but WHDLoad won't let me play it without a specific ROM file from another type of Amiga I don't happen to have. I'm a little curious why it's necessary to have one specific ROM.