David Mitchell William Harvey is listed as Member at Hot Creek Capital, L.L.C. on SEC Form ADV.
Form ADV reports a beneficial ownership band of 5-10%.