Yes, that was easy to see, but only after we got the back the rest of the way off. She had left her "special tool" home, about 450 miles away. The Verizon store guy took it into the back, so we couldn't see he was probably using a paper-clip, maybe, and came out with it off. Offered to sell us a spare door for only $5.
I'm still glad I'm getting a Galaxy Nexus this time, if it ever arrives. At the rate Verizon is whipping out ICS, the GNexus might be on JellyBean with Project Butter before the Droid4 gets ICS ! Just kidding, I hope. If only Motorola could unlock the bootloader for the Droid4...