Ebay has them, but with high shipping costs. Alternatively, probably any other standard sliding nut for 30 cents would work. Or you call around the usual plumbing supply stores.
Anyway, I'm already looking forward to the report on how the installer manages to solve it :)