For me, that's a tough one.

I prefer stock rather than modified but that's no guarantee when it comes to problems. Less than half the mileage but $10K more.

On the other hand, if you like modified and it already has mods you like - with a known service record, plus $10k less, but double the mileage. Hmmm ...

$10K is hard to ignore but I would probably go with the 4.8 for the reasons that JCL pointed out.