In Texas it is illegal to have with you (other than at home) a double edged knife. I looked through all dive knives and they are all pretty much double edged. Anyone knows how do divers in Texas go about carrying a double edged diving knife without getting in trouble with the law?