I specified used, which it can be had for.
As for the lens, yes, it's well above their budget even without the body, but they're asking about a camera body.
They're not getting a decent mirrorless and wildlife lens for that price anywhere though.
A DSLR would be a better choice budget wise but the lens cost would still blow past their budget for anything decent.
A used R7 with a long entry level lens for now would be my alternative advice. Save up more a bit if needed.