Late to the party as usual, here are a couple of thoughts.
If you’re looking for player stats, go to the governing body of the conference or league. If they ever made it on the field, there’s a 99.9% chance the data is there. You can also look to free sites like BaseballCube or excellent paid services like CBI.
I believe most college websites are relatively uncontrolled, and the data managed by student admins. IMO it’s unlikely that a HC would care or be bitter enough to have an actual player stricken from digital team existence.
That being said, my sister’s father-in-law (RIP) was an animator for Disney (Officially Fantasia and Dumbo) but due to a labor strike in 1941 his name was removed from the credits of Bambi, Pinocchio, Snow White, etc..). If a relationship ends badly enough, some can be small and spiteful.