Local rental place has a 2002 tx420 for $6,500.00. Comes with a bucket and has btwn 700-730hrs on it. This is all the info I've been able to gather so far. Sound fair? I've been trying to get them to email me photos for 2 days. I haven't seen it in person because it's at another rental location. Found a 2002 TX425 for $7,500.00 with a bucket/ GP(?) and 700 hours. Is there a big difference between the 420 and 25? Thanks!