Don't see a service file for the man in question, but I haven't examined all possible spellings. You seem to already have his service files. Let me know if you need anything else.