OK so, I got my Nexus 10, got the link to the JOP40C from JVP15P OTA file, it's in the first post. However, like a freakin' idiot I applied the OTA without checking the bootloader version first. ARGH! JVP15P definitely uses a different bootloader than JOP40C (there's a bootloader.img in the OTA file), so if anyone else gets their Nexus 10 today or tomorrow, PLEASE check your bootloader version BEFORE applying the JOP40C OTA and post the version here. In order to check the bootloader version, you actually have to reboot into the bootloader.
Thanks in advance!
XDA's Resident Archivist-in-Chief
Every OTA update for every Nexus and Google Experience device since the Motorola Droid at http://www.randomphantasmagoria.com/firmware
Samsung Galaxy S4
Asus Nexus 7
Samsung Nexus 10