For the record, we didn't know anything about his business when we chose our name. We merely saw that 'companyname.com' was taken but not used. We assumed (you know what they say about assumptions) that meant we could go with 'mycompanyname.com' and be fine. Had we known about his trademarked business beforehand, we wouldn't have done so.
Thank you for shedding more light on the trademark situation.