Question: Have Richard G. Hovannisian and Pete Mangurian both been head football coaches?
Answer: no