I have a musk turtle about 3in maybe 4in, I also have a undergravel filter, the gravel I have right now is already to big for her to eat but should I replace the gravel for coral instead would this be any better for my turtle?

The undergravel filter is connected to a canister filter rated 3x more than what the tank is. Forgot to mention that