No way no HIV risk at all. Move on with your life.
I thought he forgot to mention it
Had you read, the poster said what he was concerned about of which he had no risk.
HIV is passed from unprotected vaginal and anal sex, and from IV drug users and mother to unborn/nursing child. Not from enviromental contact.