solenoid sensor bad

my check engine and AT light is on in my 2013 miata and i took it somewhere today and they said it’s a bad solenoid sensor and it would cost 7k to fix it bc they have to remove the transmission and then rebuild it together idk?? is that reasonable or they scamming me