Can you verify that the sounds loaded correctly? Do you get a 0 (zero) after the program load? Other results including a 1, 2, or 3 means it didn't load correctly (for reasons stated in the manual). If the program data is loading without error, and something has failed since the service was performed, it sounds like it needs to go back to the shop.
If it goes back, hopefully you can provide them with the preset sound data, manual, and schematics files. Please note there are two versions of the schematics depending on the version of Bit that you have (early/late - can be identified by filter type SSM vs CEM) - if in doubt, bring both sets of schematics.
You may also want to test then offer some specific instruction on loading the sounds correctly. In my case, I'm using a portable MP3/WAV player, which will only load sounds if set at a very specific volume level. It can be tricky to match the exact level of a tape deck line output that the Bit is expecting. If I have to get one of my Bits serviced, I'll have to make sure they can load sounds without too much hassle.
For the repair shop to consider, a few things that helped me identify problems on my Bits were:
1) ICs operating at much higher temperature than the others (to be tested with a heat probe and definitely not one's finger). In my case many of the failed op amps were running 20-50 degrees hotter than the rest.
2) ICs or Voltage Regulators with incorrect voltage on specific pins (data sheets for such parts would have to be downloaded for comparison)
3) Dead filter chips - these can be identified by holding down six notes at once. For each key that doesn't make a sound, there is a voice that is not working, which may indicate a dead filter. I socketed my filters so they could be re-arranged (or placed in one at a time) to identify the bad ones.
4) Power supply - correct output voltages should be verified
See the Files section here for any documentation that you may need.
Hope you get it working again soon!