you could probably also sand down a pair rounds of your liking with a 400 grit (or higher) sand papper. youll
need to buy a heavy gauge to compensate for the loss of mass. not sure how good of idea this is honestly(ill probaly make a thread for it) so if you do it do it at you own discrection. if you do decied to do it i would buy a dust mask so you wont inhale the shavings (if thats even possible) and do it where you are no where near your bass or the inside your home; but you probably already knew this. im sorry to have bombareded you with all this information, i got kind of carried away i guess, hopefuly all this was of some help in some way or another.
best of luck
edit note: apparently this is a really bad idea after all (not completely surprised) according to everyone here on TB.
heres a link to my thread:
Is it a good idea to sand down your strings?