Would you guys take the risk and buy RTX 3080s at inflated prices? Like around $900 a pop (plus tax)?