They are not considered "fish" so yes they are legal to use above 7k. They are considered aquatic salamanders (forget the technical name) and there are restrictions on size as well as specific types and specific waters. They are something you would prolly want to have a reciept handy for if contacted. If you collect them yourself, know some are not legal to use as bait. Some are even protected species.
Im sure you are aware that fish mortality can be greatly increased especially when not actively fishing baits like this. Its also frowned upon by a large number of anglers because of that.