HOT CREEK CAPITAL, L.L.C.