I'm a boom operator in L.A. and post sound is outside of my experience. A friend in NYC recently shot a 20 minute short for about $30k. She was able to get an excellent cast of well known NYC television and theater actors and got a good DP who brought his crew on so things went well on the 3-4 day shoot which was in one location.
The picture is locked and now she needs to post the sound. She had budgeted $1000 and asked me if it was possible to get an experienced person for that budget. Frankly I have no idea. Any advice that I can pass on to her would be much appreciated.