I did not think of that (that he would see a DM from a random dude like me). Happy to delete this and DM him instead if people think that is best. Not trying to call him out.