Take the 31k while it's on the table
85 pack cars are often going for around that. 60 pack cars are always under 30. One local to me is listed for 26,5.
Hope this doesn't come across wrong, not looking to price police, but rather to provide perspective on your great trade-in offer.