Perhaps someone could tell me if there is a GP32 emulator for the Atari 7800? My searching has been rather fruitless, and at this point I am assuming there is no such thing. Nevertheless, since it would appear the 5200 is emulated by the Atari 800 emulator (which stands to reason), I was...