We were going to pass my brothers rarely played Series 10 bass on to my 11yo for Christmas (he plays double bass at school). I wanted to get it cleaned up and maybe put some strings on it. But I know diddly about bass strings. And basic advice on brand, size, etc. It's a full-scale bass on a 11yo boy, so I don't know if lighter strings would be better. Also, any low-cost affordable headphone amps you recommend, I'm looking at the Vox AmPlug, not sure if it's worth it. I have a larger amp covered for the short term, I figure the normal channel of my Vibroverb can handle bass, the speaker is a Emi Legend 1518.