Just a quick follow-up: the part I bought on ebay arrived in just three days, and fit perfectly! Thanks everyone for your input.