I have used these files and confirm that they do indeed work. I used a 2732A EPROM. The tricky part is that you need to find a Z8613RS Z8. Not terribly common these days. One of my Profiles actually had one installed, so that is how I got mine. The floppy disk images are in ProDos order. I used a IIGS to convert them to real 5.25" floppies. I'm thinking of putting together a write-up that I can post on this site.