Hello all, I am not using iOS 7 yet. I was thinking about purchasing either a 4th gen iPad or iPad mini soon and wanted to inquire how good/bad the performance is on these models, particularly the iPad mini? I know it is beta so there will be things wrong that make performance hard to judge, I just worry about buying a mini now and it not being capable after a year.