Hi Zach,
There is no such thing as ‘HD Lens’. That’s just a marketing tool, to make it sounds like a HD lens gives you higher resolution. It maybe has better glass, yes, which will give you a sharper image and better colours, but it has nothing to do with resolution when talking about lenses.
The price can also depend on the type of lens you’re using, prime or zoom, does it have extra functions/buttons and more build in technology like image stabilizers, is it a photo or videolens? All those things matter when it comes to price. RED builds photolenses, they’re simple to produce, but have better glass.
The F800 and RED have different mounts, so i think u should decide which camera you want first. Try Compact Primes from Carl Zeiss, pretty nice piece of glass and it has multiple converters for different mounts.
Cheers
Artyom
Artyom Zakharenko
Cinematographer
artyomzakharenko@gmail.com