8015 is selling at $3,799. I found a new 8012 for $2,499. For general home theater use, would the 8012 be just as good? Also..........how can you tell if a receiver has HDMI 2.1?