Some Proofs Regarding Minami Estimates And Local Eigenvalue Statistics For Some Random Schrödinger Operator Models