My coin of choice is Bitcoin and ideally an ASIC miner that can mine it. I live in UAE and have fixed rental per month that includes utilities. As long as mining usage stays within 1500w, I wouldn't need to be paying anything extra.
Also worth mentioning is that I am currently doing mining on GPU of RTX 3080 x4.
Well the best way to mine btc is using 4x rtx 3080 at eth and converting the eth to btc.
Now you already have 4x 3080 in hand.
The real question for you is do you switch to a used S17 with braiins software and set the gear to 1450 watts.
a braiins run s17 at 1450 watts will be loud but not stupid o my god loud.
it will do about 42th that is .22 x 42 = $9.20 usd
at the moment right now those 4x 3080 do say 1100 watts and earn maybe 400 x .05 = 20 usd
So on paper the 4x 3080 look better.
but maybe they slip in earnings. and maybe the s17 gets better in earning.
A) I do not know how much you spent on the 4x 3080
B) I do not know how much you mined on the 4x 3080
C) I do not know if they have warranty.
D) I do not know if you can sell them at a solid profit.
Selling the 4 cards and the whole rig could easily get you over 5000 usd if you were in the Usa
but if you paid 8000 usd and mined 1000 usd selling at 5000 usd is a loss.
To me I have
gpus
asics for btc
asics for ltc/doge
I hold btc and ltc and shift all the stuff around.
good luck in whatever you do.