Is there only one supplier for the 20MHz 65816? It seems to me there would be more for embedded applications and all.