Residual diffeomorphism covariance in loop quantum Kantowski-Sachs (Dr. Jonathan Engle, Florida Atlantic University, USA)