I was wrong about the RTX 4080. What about the rest of the GPU market?