Given that this is a place with a disproportionate number of "internet randos" who have experienced the same problem, I'd say that it's worth asking - and then

Given that this is a place with a disproportionate number of "internet randos" who have experienced the same problem, I'd say that it's worth asking - and then weighting responses by level of experience.