I checked out everything last night, but all the sites I could find that definitely had the right part actually cost more than $89. The don't *think* the eBay part is the right one, but it's hard to tell from the photo.
Nonetheless, thanks for the good ideas. I think they will come in handy for future repairs.