Given that my Windows 10 laptop is over 4 (maybe even 5?) years old, and that I move it around a good deal, unplugging/re-plugging a lot, I guess it was inevitably going to happen sooner or later.

A cursory search, suggests solutions such as Fix Your Loose USB Ports with This Little Trick. It seems to make sense, but does it, or do you have any better solutions?

Grateful for any thoughts.

Many thanks,

Ed