I'm pretty sure this has happened in NC before too.
If you Google around, you'll find its surprisingly easy to get to into and program those boxes.
Apparently most contractors don't bother to change the factory code, so that any of their guys can change them... and often don't lock the box.
Factory code = 0000.