I would definitely go for that. And Hell, Prince actually edges Tex out in most of those stats, aside from RBI and BA. Not sure, but I'd really, really like to make some kind of move for Hardy, maybe land both in the same deal would be nice, but he's better in the field than Gonzo, and has a tremendous upside. Not to mention, his bad year (Which is still superior to the year Gonzo is having), will probably bring his cost down significantly
If we could get all these pieces, we'd be very, very competitive next season, especially consider how competitive we are this season. I think that lineup would be a force to be reckoned with for all times, and even better if Hardy were to rebound.
As far as pitching, if we were to land King Felix, and as stated, it would be costly, very costly, as well as that 5th starter, such as Harden (Who would also most likely come at a reduced price, due to his injury plagued past), they could have one of the best rotations as well. We'd really have to break the bank to do all of this, and of course not all moves are likely, but it's jizz-in-your-pants-esque to think about the possibilities.
(For the record, I do realize that if we were able to fork over for Prince and Hernandez, it would be very unlikely that we would be able to pay up for Hardy, but I'm just saying, it COULD happen)