Thanks. The dealer said he'll spend up to $500 in time looking.
If he fails to find it, I'll do what you said rather than spend more time for him to search.