I think you should double down and have it fully restored but likely not at that shop. I think a full resto would run 500-600. That will insure trouble free play for years. A clean fully restored 9090DB with docs to back up resto work is worth 1500.00 By paying 300.00 for cold solder joints and lamps is silly! Do all the work once, write the check and be done! Do your research here who the best sansui mechanics are and ship unit to them. On another note a way of saving time and money is having that tech lined up before purchase and having unit shipped directly to them. Shipping a 9090 can cost close to 100.00!