If she is comfortable with your Babylock, I would stick to Babylock, Brother or Juki. They are all made in the same factory. While they are not the same machine, they all "work" the same way. Adjusting tension, changing stitches, even button placements are all similar. I have all three brands. I can tell the differences in the quality of the machines, but their basic functions are the same. Watch Craigslist. I got my travel machine, a Babylock Decorators Choice, for $225 because the seller didn't like modern machines and wanted to stick to her vintage machines. It was barely used and runs perfectly.