So, I'm looking at changing my distributor out for and electronic one. Are there any better choices out there than HotSparks or Ebay. There is nothing here in the Junkyards in San Antonio, Tx. Parts stores don't carry new distributors. I'm thinking Hotsparks or Ebay is the only thing available now?