To 'really' be helpful with an answer you kinda, sorta, oughta have a price range in mind. You can get inexpensive units with all those amenities for under $200 all the way up to $8000 plus.
I've used infrared only grills for 20 years, or more, and can't imagine anything else, but they're not "cheap" to buy. And cheap, or not, is a relative question...and yours to answer. And I don't think anybody here will judge you one way or another, but you ought to have a price range in mind because there are better and lesser $300 grill setups as well as better and lesser $3,000-5,000 setups.