That’s terrible, where was it mounted, in the US or Africa ?
Can you show a photo ?
Most of the time on Crocs the original skull is used, as it’s very tricky to get the skin off the skull, but in these times I bet a good modern Taxidermist cut cut off the head/skull & use a repo from a taxidermy supply house ?
Now sometimes if the original skull is used the taxidermist might chop off the back end to tie it into the form but as I’m thinking bad taxidermist here & most likely lazy you might be lucky & find a nice skull in there.
Most likely will have to soak in a tub for some days or weeks to get skin off, maybe a job for your local taxidermist ?