Is there an accessory available that will output an additional HDMI source from a receiver with only a single HDMI out?? Trying to get ready for NFL Ticket....