I'm currently working on updating my AGA SDL with RTG support so I will be able to support both AGA and RTG for new ports (that's the plan anyway).
You can still over-clock an A4000 you know, check this out -> 100Mhz A4000
Yes please :-)
I wait on DosBox RTG already :-)