So I called back today. The module itself is $650. He said there are 3 identical modules on file, but they're all the same price. There's an additional $500 core charge (meaning, if you turn *yours* in as an exchange the part is only $650, but if you just buy it outright it's a $1150 part).
The only things you need are a VIN# and "Module #" of the module. The VIN# is required for the order at all and the Module # is needed to determine which module you need. I think that means if you know the exact module # of the one you want and you have a VIN# that corresponds to that functionality they can order it. He said if he orders it he could have it next day.