I noticed Amigakit have real KS3.1 roms for £17.99

They also have an A4000 to ATX PSU interface which I've been after for some time to get rid of the very noisy original PSU and replace it with a nice quiet ATX one.