If this would have happened in Texas they would have had to pay a replacement cost. Lets see 42,000 lbs @ 5 lbs per rock avg. 8,400 pieces with 3 types of corals per rock average 25,200 @ $10 each $252,000. Plus the fine.