I have a Shark Shield, cost about $600-00 (how much cost a prostetic leg?) use it when I go snorkelling, it gives me peace of mind and have never seen a shark.... works well IMO as long as the battery is charged!

Small expense for increased safety, I wear it on me or if I swimm of my yacht with mates I attach it to the boat.