2017 trans replacement

Recently had a issue where my 2500 trans just gave up the ghost. Truck itself has 72k on it but a shop will give a new/repaired transmission for around 9k. First transmission rebuild so I’m hoping the cost isn’t to bad.