Does anyone have an iPad mini 2 (16GB) with iOS 9 or 10? If so, how is the performance? Does it lag? I'm wondering whether or not I should update iOS. I updated my iPod touch 5th generation and noticed some degraded performance in some apps going from iOS 7 to 8. So I just wanted to see what other's experiences were with the iPad mini 2 and iOS 9/10. Thanks!