Hey guys just wanted an opinion on the price of a 2nd hand gearbox, do you guys think $1250 for the whole thing including fitting is good?