A friend of mine bought a "free" Verizon iPhone 4 at a local Verizon store. The phone came with iOS 7 already installed. But, as many people are now finding out, iPhone 4 lacks horsepower to run iOS 7 comfortably. If he brought his Verizon iPhone 4 to a local Apple Store, would a Genius there be able to downgrade his iOS from 7 to 6.x? Please advise. Thank you.