Op how do you know its an 8.8? Visually the 7.5 and 8.8 look very similar. The only real difference Ive seen is the difference in shape of the differential cover.
Take pics of the hogs head, aka pumpkin, aka gear housing. Post it here. I’ll tell you for sure. They look almost identical if your not sure what to look for.