I’ve had this RTX 4080 going on 3 years, just wondering if it’s worth a repaste? (GPU at full utilization)