That'd be a about right. I was with a guy who paid $800 for a complete G33/40 rifle that was in good but not pristine shape maybe 3 years ago at Capital Sports. But you might be able to get a good action for a little less.
At that point, though, I'd be looking at a beater 77 Mark II real closely....