does the semiconductor industry not use large quantities of GaAs? Has the industry replaced its use with something else? https://en.wikipedia.org/wiki/Gallium_arsenide