I read somewhere that there was a bad jet ski accident over at the Rock Quarry on KY Lake on Memorial Day. Is there any truth to this?