i'm not a bitcoiner but i do have RTX4080 and i was able to get one when BTC crashed hard ... before that it was unaffordable 

so clearly people were using them to mine