Yes, that is the Jeep part number. Your local dealer should be able to order one, mine keeps them in stock.
I have found out that a lot of components my local dealer is competitive with the parts stores. Also there are components ONLY available from the dealer. Remember dealer parts "have to work" by law where aftermaket parts do not have that requirement.
Also dealer parts are 12 month/12,000 mile items where some of the big box chains have gone from lifetime to 1 year and now they are 90 days.
I have found owning a 88 XJ you need to be on a first name basis with the dealer parts guys.