Since they don't have an online parts catalog, service manuals, etc. its pretty hard to determine. If they said that is what you need, feel lucky that it is only $83 and order it (it you think you can replace it yourself). While you had them on the phone, you should have asked about a service manual for this.
Or are you going to have them repair it?