Great point. And, 3 years ago, a 4090 cost $1600, so maybe that will happen again some day. (Same/similar card, or a future card. I remember when GPUs used to get better every few years instead of staying roughly the same but costing several times the original amount!)