Looked through the parts as well and came up with this same answer. Probably isn’t something the dealer will keep on-hand so it would wise to call them first and have them order it if they don’t have it.
Could also order one on Amazon: https://www.amazon.com/dp/B08LVY432B/ref=cm_sw_r_cp_api_glt_fabc_8W8DDZ0C7PEYH75ZC5DZ