Thanks for the reply, ChrisR, but I did a search and didn't find the answer to MY question, that's why I posted!
I found someone offering to sell one, and details about the cost of the original part. But I asked if any other part could be substituted, and/or where one could buy the part...