An NTK universal sensor should run about $50 and should be your best choice for reliability. Bosch or Denso sensors aren't bad (my wideband uses strictly Bosch) but NTK is better. You can find the part number on www.ngksparkplugs.com.