I'm due to start work on a project next month which I'll be editing and sound designing. It's a 5 minute short film/commercial which requires a lot of heavily stylized sound design elements. There will be grinding stone, clanging chains, creepy breaths, knives, punches, and more. The idea is for these sounds to be larger than life and for me to be able to manipulate them as I need to create the right sound.
I'd like to know if anyone had any advice on what gear, and in particular microphones, I should spend my $3000-$3500 budget on? I think that a Sound Devices 702 is a good start for a recorder, but am not sure what would be the best type of mics for me. Are two mono mics with different characteristics a better investment than one, more expensive stereo mic?
A few other points to consider:
I hope to record most of my sounds in a home recording studio I have access to, but there will be a few outdoor recordings.
I'm more concerned with clarity and fidelity than realism - this project needs hyper real sound design that is very direct and prominent in the mix.
Thanks in advance for your help - I'm new to sound design, although I've been a professional video editor for 8 years so am familiar with post-production and some elements of sound engineering.