I think you're fine, SLK-1.
I booked through Costco too. Costco has a special line to ABD, and the reservations were handled directly by ABD, even though the Costco card should be issued by Costco--after the trip.
I have contacted ABD several times since then and I plan to pay ABD, not Costco, . . . .
Turtlemom.