Remember, the AGA chips can scan double.
yes it can but it is unbarable to work with all to slow in the 31khz modes same goes for both dbl pal and ntsc.
the scan doublers dont loose that much performance.
hence since the amiga still is in a 15khz mode only the output is 30khz
adonay :-D