I just bought one from craigslist a week ago and it came with the red case. It is the same machine, Bernina 830 record. I paid 350 for it and I know I got a great deal.
Look it up on ebay, they go from 800 to 1200 easily.
Nice machine that's for sure!
Nancy