I have lost the wrench for my roof bars. Do the dealers stock such an item, and how do I tell which one I would need?