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