They actually have them in their parts supply? Last I heard all the VX parts were in several "drop warehouses" to prevent stockpileing and price gouging. The parts departments then get them from the warehouses but require a vin #.
Glad to hear they were able to get you fixed and back on the road though.