I bought one from the International dealer. Seems like the dang thing was about $60.00. Sure would be cheaper to find a used one. I thought that was ridiculous.
After re reading your post-- I see you are just looking for the part number. I have had poor luck with getting part numbers from my local (45 miles away) dealer. I think they coach the counter guys to not give out that info if possible. I had one guy at one dealership-- that every time he looked up a part he would give you the part number. Maybe he was new?