The RX-A700 is very similar to the RX-V667 but has the aventage improvements (5th foot lol) an additional year of warranty, so I'd buy that. I don't think there's anything wrong with getting a refurbed TX-SR707 though. The preouts are a big deal to some (like myself), but even if you ignore those the 707 is a solid unit with an amp rated for 4ohm loads - the 509 and other entry level units are not. HDMI 1.4 is not that important, especially if you don't give a damn about 3D.
Note that the PC251 is only ~$100 by going with a third party amazon seller, not amazon directly, and said third party is NOT an established company like wwstereo or onecall or electronics expo.