I wouldn't consider it.
If the budget is modest, perhaps you should look into a used receiver. End-of-lines are easy to find at this time of year and great bargains can be found on flagship and mid-level receivers. 500$ on a Harman or Denon will get you far better value for your dollar, IMO.
A Used Harman AVR2600 or AVR3600 could also be an excellent value (Firmware upgrade brings HDMI up to 1.4a specs) Both can likely be found for the same price as that Sony, or lower, and yet, yield much better performance and flexibility.