I personally would favor option #2.
The stock bilge pumps work pretty good as long as they are not clogged up and the lines are clear. I just replace the old, darkened lines with new clear vinyl so a quick glance inside will tell you if they are working ok.