We actually saw a guy last weekend fishing in the lake at Coronado Springs. I'm thinking this isn't technically allowed?