Tiny red bugs on wood deck
My son-in-law has these tiny red bugs on his patio deck in Columbus, Ohio. He says they're smaller than a pinhead and there are about 25-50 per square foot. He hasn't noticed any on his plants.
Is anyone able to identify and should he hose them off?