Hi, one of my GPUs was doing a weird noise so I opened the GPU and try to re-accommodate the fan with the fan base to try to fix it, now the fan is not working anymore (show 0 RPM with 100% usage, the fan jiggle trying to start but can't). now I am going to replace that fan, but I can't find the diameter of my GPU, the model is evga 2070 xc and the replacement are 87mm or 85mm, which one should I use?