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