Comment by alttab

Based on information, I'd argue Michael Roberts isn't his real name so we will never know.