robert “mike” vanderhoof