Awesome. Yes the previous owner is selling an unopened new stylus along with the player, I assume they bought it to have a spare one and never used it.

Thanks for the answer. Actually I think my post was a bit confusing, I will only be changing the stylus, do I still need to remove the cartridge for this operation as well? Or can I pull it off directly?

I’ll keep in mind your suggestion for the upgrade!