Comment by ac29

For those not in the know the "4080 12GB" as compared to the 4080 16GB was not just the same card with a little less RAM, as you might assume from the name. It also had ~20% fewer GPU cores and was significantly slower for that reason.