For the benefit of anyone finding this thread in the future, it turned out that eBay was the best source for the pump. However, there have not been a lot of sellers there, so with them it is hit or miss on finding the pump at a good price. When I started this thread, the only options there were...