That's the one, also on amazon if you prefer. From talking with a few techs, the repair would be quite simple for a properly equipped shop. Estimate between 1/2 and 1 hour of labor. Going to schedule this very soon after I order the part. Will let everyone know how it goes.