I gave them the part number. Maybe I said it wrong or he fat-fingered it.

I’m tempted to order online but I don’t know how to add expedited shipping. These days if you don’t do expedited shipping it might never show up.

Maybe if I had an account I could do expedited. I never bothered to create one before. I did just a little bit ago but it has to be approved by an admin so I did a guest checkout in the meantime. Looks like that no expedited shipping available there so I am just waiting.