We have a 2011 Mac Mini we've been using as a home theater/entertainment system. All our music stored on the Mini, and a external hard drive filled with movies. We are being gifted with a nice 4K TV, and the current batch of Minis don't support 4K. Not realistically, anyway. We are considering replacing it with, say, a refurbished MacBook Pro or MacBook Air. My question: What would be most affordable yet still work? The main requirement are USB ports so we can plug in external hard drives. Thank you for any input!