For the trunk error try cleaning the gearbox gears with something like break cleaner and grease with super lube.
Then put in a new motor from
kimballs pinballs, that’s fixed mine.
I sold my pretty nice theater 2 years ago for 6k and prices have seemed to go up so 6500 sounds pretty fair for a descent one.