I know that on the iPhone 13 Pro and 14 Pro, you need at least 256 GB of storage to record ProRes video in 4K at 30 fps or 1080p at 60 fps. The iPhone 15 Pro has the ability to record ProRes in 4K at 60 fps to an external drive. Do even higher storage capacities, like 512 GB, support ProRes video recording to internal storage? And does recording to an external drive bypass the 1080p30 limit that 128 GB phones have?