Yep.
The ask for Reinhart is a 1st + top prospect. Usually the 1st is a late round pick (20-ish) and not a top 10 pick. So perfectly reasonable a 9th OVA can snag Reinhart. And since it's a flat cap world, BUF needs to take a short term bad contract back to make it work.
Otherwise BUF will be saddled with disgruntled players and the losing culture will never change.