I'm looking a purchasing the Bosch WFMC 5301. What model is the one you're having trouble with? Did you also get the matching dryer? If so, how's that working?

If the water pump won't turn, the drum won't spin. Did the repair tech check the pump to ensure nothing is stuck in it? To check it yourself, you will need to remove the round access door on the bottom front right of the machine. Turn the access cover until it releases. It can be difficult to turn. Once it is off, you will see what looks like a plumbing plug. Turn to the left to remove it. Have towels ready as water will spill out. Once this is removed, look inside. You should see the impellers of a little pump. They should turn freely and have no foreign objects stuck in them.