Did you sign the contract before they banked the points? We had to sign an addendum, but that was because something changed after we signed the original contract. The agent probably just needs to document the change. And you're right, it doesn't have anything to do with passing ROFR. Good luck though!