Heh, no, not me – someone called obert01 on the Raspberry Pi forums. They’re the one you should be praising, I’m just the messenger! I’ll check out how best to get it into RetroPie though – I’m thinking about modifying obert01’s script so that you can load different settings files (for example, for different models of Amiga) for different roms. I’ll keep you posted on how I get on!