More than 9k usd just for 2 simple changes that shouldn't take more than 10 min. 
My guess is the money {bitcoin} is better spent somewhere else anyway.