are you sure its a mandrel bender. thats not some thing a mechanic would have in his shop normally. they are several thousand dollars. I would think he has a regular hydraulic bender. I just searched around a little on google and the cheapest mandrel bender I could find that would do 3 inch tube was 39,500. I guess he could have lucked in to one for cheaper though used.