I'm thinking of getting a redmagic 10 pro because my s20 is dying. Is pocket sand a big problem for the 10 pro? It might get into the fan hole.