Here’s some fuel for the fire; we’ve got some benchmarks showing up from a device with a model number of SCH-I545. Could it be Verizon’s Galaxy S IV? Following Verizon’s naming conventions for their Samsung devices, like the SCH-I535 for the S III and the SCH-I515 for the Galaxy Nexus, logic says yes, this will be the Galaxy S IV, complete with a 1.9 GHz Snapdragon processor and 1080p screen. This lines up with all the details we’ve been hearing about the device. However, it does also dampen the possibility of the device launching with the Exynos 5 processor, as was the case with the Korean S IV benchmarks. Although we still don’t know anything for certain, it won’t be too much longer until the official release.